Symbol: its_write_table_entry
drivers/irqchip/irq-gic-v5-its.c
415
its_write_table_entry(its, &l1devtab[l1_index], l1dte);
drivers/irqchip/irq-gic-v5-its.c
531
its_write_table_entry(its, dte, val);
drivers/irqchip/irq-gic-v5-its.c
535
its_write_table_entry(its, dte, 0);
drivers/irqchip/irq-gic-v5-its.c
561
its_write_table_entry(its, dte, 0);
drivers/irqchip/irq-gic-v5-its.c
860
its_write_table_entry(its, itte, itt_entry);
drivers/irqchip/irq-gic-v5-its.c
878
its_write_table_entry(its, itte, itte_val);