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