Symbol: IRTE_HIGH
usr/src/uts/i86pc/io/immu_intrmap.c
799
irte.hi = IRTE_HIGH(sid_svt_sq);
usr/src/uts/i86pc/io/immu_intrmap.c
811
irte.hi = IRTE_HIGH(sid_svt_sq);