Lines Matching defs:arm_cpu
550 ARMCPU *arm_cpu = ARM_CPU(cpu); in hvf_get_registers() local
689 ARMCPU *arm_cpu = ARM_CPU(cpu); in hvf_put_registers() local
1007 ARMCPU *arm_cpu = ARM_CPU(cpu); in hvf_arch_init_vcpu() local
1088 ARMCPU *arm_cpu = ARM_CPU(cpu); in hvf_raise_exception() local
1098 static void hvf_psci_cpu_off(ARMCPU *arm_cpu) in hvf_psci_cpu_off()
1112 ARMCPU *arm_cpu = ARM_CPU(cpu); in hvf_handle_psci_call() local
1255 ARMCPU *arm_cpu = ARM_CPU(cpu); in hvf_sysreg_read_cp() local
1282 ARMCPU *arm_cpu = ARM_CPU(cpu); in hvf_sysreg_read() local
1534 ARMCPU *arm_cpu = ARM_CPU(cpu); in hvf_sysreg_write_cp() local
1561 ARMCPU *arm_cpu = ARM_CPU(cpu); in hvf_sysreg_write() local
1816 ARMCPU *arm_cpu = ARM_CPU(cpu); in hvf_wfi() local
1868 ARMCPU *arm_cpu = ARM_CPU(cpu); in hvf_sync_vtimer() local
1894 ARMCPU *arm_cpu = ARM_CPU(cpu); in hvf_vcpu_exec() local
2252 ARMCPU *arm_cpu = ARM_CPU(cpu); in hvf_put_guest_debug_registers() local
2302 ARMCPU *arm_cpu = ARM_CPU(cpu); in hvf_arch_update_guest_debug() local