(LAPIC_READ_OFFSET(ISR_BASE,(base+LAPIC_##src##_INTERRUPT)/32) \
& (1 <<((base + LAPIC_##src##_INTERRUPT)%32)))
+extern uint32_t lapic_safe_apicid(void);
+extern void lapic_init_slave(void);
extern void lapic_init(void);
-extern void lapic_configure(void);
-extern void lapic_shutdown(void);
+extern void lapic_configure(bool for_wake);
+extern void lapic_shutdown(bool for_sleep);
extern void lapic_smm_restore(void);
extern boolean_t lapic_probe(void);
extern void lapic_dump(void);