Symbol: TLB_INV_DID
usr/src/uts/i86pc/io/immu_regs.c
126
TLB_INV_DID(domain_id);
usr/src/uts/i86pc/io/immu_regs.c
131
TLB_INV_DID(domain_id);