Symbol: vtd_ctx_global_invalidate
sys/amd64/vmm/intel/vtd.c
415
vtd_ctx_global_invalidate(vtdmap);
sys/amd64/vmm/intel/vtd.c
507
vtd_ctx_global_invalidate(vtdmap);