Home
last modified time | relevance | path

Searched refs:get_running_vcpu (Results 1 – 6 of 6) sorted by relevance

/hypervisor/arch/x86/
A Dnmi.c16 struct acrn_vcpu *vcpu = get_running_vcpu(pcpu_id); in handle_nmi()
/hypervisor/arch/x86/guest/
A Doptee.c188 struct acrn_vcpu *curr_vcpu = get_running_vcpu(pcpu_id); in handle_x86_tee_int()
A Dvcpu.c272 struct acrn_vcpu *get_running_vcpu(uint16_t pcpu_id) in get_running_vcpu() function
/hypervisor/debug/
A Ddump.c138 struct acrn_vcpu *vcpu = get_running_vcpu(pcpu_id); in dump_guest_context()
A Dshell.c872 struct acrn_vcpu *curr = get_running_vcpu(pcpu_id); in dump_vcpu_reg()
1053 struct acrn_vcpu *curr = get_running_vcpu(pcpu_id); in dump_guest_mem()
/hypervisor/include/arch/x86/asm/guest/
A Dvcpu.h603 struct acrn_vcpu *get_running_vcpu(uint16_t pcpu_id);

Completed in 11 milliseconds