Searched refs:arm_cpu_update_vinmi (Results 1 – 3 of 3) sorted by relevance
988 void arm_cpu_update_vinmi(ARMCPU *cpu) in arm_cpu_update_vinmi() function 1088 arm_cpu_update_vinmi(cpu); in arm_cpu_set_irq()
1158 * arm_cpu_update_vinmi: Update CPU_INTERRUPT_VINMI bit in cs->interrupt_request1164 void arm_cpu_update_vinmi(ARMCPU *cpu);
6243 arm_cpu_update_vinmi(cpu); in hcrx_write() 6412 arm_cpu_update_vinmi(cpu);