Symbol: AV_ASSERT
usr/src/uts/i86pc/io/pcplusmp/apic_common.c
1443
AV_ASSERT | AV_RESET | AV_SH_ALL_EXCSELF);
usr/src/uts/i86pc/io/pcplusmp/apic_common.c
481
apic_reg_ops->apic_write_int_cmd(apicid, AV_ASSERT | AV_RESET);