Searched refs:arm_cpu_update_virq (Results 1 – 3 of 3) sorted by relevance
944 void arm_cpu_update_virq(ARMCPU *cpu) in arm_cpu_update_virq() function1082 arm_cpu_update_virq(cpu); in arm_cpu_set_irq()
1146 void arm_cpu_update_virq(ARMCPU *cpu);
6081 arm_cpu_update_virq(cpu); in do_hcr_write()