Home
last modified time | relevance | path

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

/hypervisor/include/arch/x86/asm/guest/
A Dvcat.h21 int32_t write_vclosid(struct acrn_vcpu *vcpu, uint64_t val);
/hypervisor/arch/x86/guest/
A Dvcat.c394 int32_t write_vclosid(struct acrn_vcpu *vcpu, uint64_t val) in write_vclosid() function
473 (void)write_vclosid(vcpu, 0U); in init_vcat_msrs()
A Dvmsr.c1340 err = write_vclosid(vcpu, v); in wrmsr_vmexit_handler()

Completed in 5 milliseconds