Symbol: gicv5_its_write_cr0
drivers/irqchip/irq-gic-v5-its.c
1068
return gicv5_its_write_cr0(its, true);
drivers/irqchip/irq-gic-v5-its.c
1073
return gicv5_its_write_cr0(its, false);