iort_register_domain_token 3951 drivers/irqchip/irq-gic-v3-its.c 	err = iort_register_domain_token(its_entry->translation_id, res.start,
iort_register_domain_token   25 include/linux/acpi_iort.h int iort_register_domain_token(int trans_id, phys_addr_t base,