Symbol: AV_HIGH_ORDER
usr/src/uts/i86pc/io/apix/apix.c
423
AV_HIGH_ORDER >> cpun);
usr/src/uts/i86pc/io/pcplusmp/apic.c
340
apic_reg_ops->apic_write(APIC_DEST_REG, AV_HIGH_ORDER >> cpun);