Searched refs:arm_cpu_update_virq (Results 1 – 3 of 3) sorted by relevance
935 void arm_cpu_update_virq(ARMCPU *cpu) in arm_cpu_update_virq() function1073 arm_cpu_update_virq(cpu); in arm_cpu_set_irq()
1111 void arm_cpu_update_virq(ARMCPU *cpu);
6068 arm_cpu_update_virq(cpu); in do_hcr_write()