vtd_update_mapping
return (vtd_update_mapping(arg, gpa, hpa, len, CREATE_MAPPING));
return (vtd_update_mapping(arg, gpa, 0, len, REMOVE_MAPPING));