Lines Matching defs:arm_cpu
547 ARMCPU *arm_cpu = ARM_CPU(cpu); in hvf_get_registers() local
686 ARMCPU *arm_cpu = ARM_CPU(cpu); in hvf_put_registers() local
992 ARMCPU *arm_cpu = ARM_CPU(cpu); in hvf_arch_init_vcpu() local
1073 ARMCPU *arm_cpu = ARM_CPU(cpu); in hvf_raise_exception() local
1083 static void hvf_psci_cpu_off(ARMCPU *arm_cpu) in hvf_psci_cpu_off()
1097 ARMCPU *arm_cpu = ARM_CPU(cpu); in hvf_handle_psci_call() local
1240 ARMCPU *arm_cpu = ARM_CPU(cpu); in hvf_sysreg_read_cp() local
1267 ARMCPU *arm_cpu = ARM_CPU(cpu); in hvf_sysreg_read() local
1519 ARMCPU *arm_cpu = ARM_CPU(cpu); in hvf_sysreg_write_cp() local
1546 ARMCPU *arm_cpu = ARM_CPU(cpu); in hvf_sysreg_write() local
1794 ARMCPU *arm_cpu = ARM_CPU(cpu); in hvf_wfi() local
1846 ARMCPU *arm_cpu = ARM_CPU(cpu); in hvf_sync_vtimer() local
1872 ARMCPU *arm_cpu = ARM_CPU(cpu); in hvf_vcpu_exec() local
2226 ARMCPU *arm_cpu = ARM_CPU(cpu); in hvf_put_guest_debug_registers() local
2281 ARMCPU *arm_cpu = ARM_CPU(cpu); in hvf_arch_update_guest_debug() local