acpi_iort_its_id_map
uint32_t acpi_iort_its_id_map(u_int, uint32_t);
return acpi_iort_its_id_map(ap->ap_seg, devid);