Home
last modified time | relevance | path

Searched refs:vcpu_set_rsp (Results 1 – 3 of 3) sorted by relevance

/hypervisor/include/arch/x86/asm/guest/
A Dvcpu.h446 void vcpu_set_rsp(struct acrn_vcpu *vcpu, uint64_t val);
/hypervisor/arch/x86/guest/
A Dvcpu.c82 void vcpu_set_rsp(struct acrn_vcpu *vcpu, uint64_t val) in vcpu_set_rsp() function
388 vcpu_set_rsp(vcpu, vcpu_regs->gprs.rsp); in set_vcpu_regs()
A Dnested.c1403 vcpu_set_rsp(vcpu, vmcs12->host_rsp); in set_vmcs01_guest_state()

Completed in 8 milliseconds