Home
last modified time | relevance | path

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

/hypervisor/include/arch/x86/asm/guest/
A Dvcpu.h436 uint64_t vcpu_get_rsp(const struct acrn_vcpu *vcpu);
/hypervisor/arch/x86/guest/
A Dtrusty.c110 (void)vcpu_get_rsp(vcpu); in save_world_ctx()
A Dvcpu.c74 uint64_t vcpu_get_rsp(const struct acrn_vcpu *vcpu) in vcpu_get_rsp() function

Completed in 7 milliseconds