Symbol: vtd_update_mapping
sys/amd64/vmm/intel/vtd.c
610
*res_len = vtd_update_mapping(arg, gpa, hpa, len, CREATE_MAPPING);
sys/amd64/vmm/intel/vtd.c
618
*res_len = vtd_update_mapping(arg, gpa, 0, len, REMOVE_MAPPING);