Symbol: iort_deregister_domain_token
drivers/irqchip/irq-gic-v3-its.c
5752
iort_deregister_domain_token(its_entry->translation_id);
drivers/irqchip/irq-gic-v5-its.c
1294
iort_deregister_domain_token(its_frame->translate_frame_id);
include/linux/acpi_iort.h
28
void iort_deregister_domain_token(int trans_id);