iort_deregister_domain_token 3964 drivers/irqchip/irq-gic-v3-its.c 	iort_deregister_domain_token(its_entry->translation_id);
iort_deregister_domain_token   27 include/linux/acpi_iort.h void iort_deregister_domain_token(int trans_id);