Symbol: VTD_CCR_ICC
sys/amd64/vmm/intel/vtd.c
257
vtdmap->ccr = VTD_CCR_ICC | VTD_CCR_CIRG_GLOBAL;
sys/amd64/vmm/intel/vtd.c
258
while ((vtdmap->ccr & VTD_CCR_ICC) != 0)