Searched refs:arm_cpu_update_vinmi (Results 1 – 3 of 3) sorted by relevance
1155 void arm_cpu_update_vinmi(ARMCPU *cpu);
979 void arm_cpu_update_vinmi(ARMCPU *cpu) in arm_cpu_update_vinmi() function1079 arm_cpu_update_vinmi(cpu); in arm_cpu_set_irq()
6070 arm_cpu_update_vinmi(cpu); in do_hcr_write()6234 arm_cpu_update_vinmi(cpu); in hcrx_write()