arch_regs_reset (reference) in projects: hafnium-2.8-rc0

Searched refs:arch_regs_reset (Results 1 – 5 of 5) sorted by relevance

/hafnium-2.8-rc0/inc/hf/arch/
A D	cpu.h	`26 void arch_regs_reset(struct vcpu *vcpu);`
/hafnium-2.8-rc0/src/arch/fake/hypervisor/
A D	cpu.c	`25 void arch_regs_reset(struct vcpu *vcpu) in arch_regs_reset() function`
/hafnium-2.8-rc0/src/
A D	vcpu.c	`123 arch_regs_reset(vcpu_locked.vcpu); in vcpu_secondary_reset_and_start() 202 arch_regs_reset(vcpu); in vcpu_reset()`
/hafnium-2.8-rc0/src/arch/aarch64/hypervisor/
A D	cpu.c	`79 void arch_regs_reset(struct vcpu *vcpu) in arch_regs_reset() function`
/hafnium-2.8-rc0/src/arch/aarch64/plat/ffa/
A D	spmc.c	`1919 arch_regs_reset(*next); in sp_boot_next()`

Completed in 8 milliseconds