Searched refs:AV_ASSERT (Results 1 – 2 of 2) sorted by relevance
481 apic_reg_ops->apic_write_int_cmd(apicid, AV_ASSERT | AV_RESET); in apic_cpu_send_SIPI()1443 AV_ASSERT | AV_RESET | AV_SH_ALL_EXCSELF); in apic_shutdown()
339 #define AV_ASSERT 0xc000 macro