amdvi_update_mapping
*res_len = amdvi_update_mapping(domain, gpa, hpa, len, true);
*res_len = amdvi_update_mapping(domain, gpa, 0, len, false);