Searched refs:arm_cpu_update_vfnmi (Results 1 – 3 of 3) sorted by relevance
1138 void arm_cpu_update_vfnmi(ARMCPU *cpu);
1001 void arm_cpu_update_vfnmi(ARMCPU *cpu) in arm_cpu_update_vfnmi() function
6073 arm_cpu_update_vfnmi(cpu); in do_hcr_write()6237 arm_cpu_update_vfnmi(cpu); in hcrx_write()