Home
last modified time | relevance | path

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

/hypervisor/include/arch/x86/asm/guest/
A Dvcat.h19 int32_t write_vcbm(struct acrn_vcpu *vcpu, uint32_t vmsr, uint64_t val);
/hypervisor/arch/x86/guest/
A Dvcat.c310 int32_t write_vcbm(struct acrn_vcpu *vcpu, uint32_t vmsr, uint64_t val) in write_vcbm() function
456 (void)write_vcbm(vcpu, vmsr, max_vcbm); in init_vcbms()
A Dvmsr.c1335 err = write_vcbm(vcpu, msr, v); in wrmsr_vmexit_handler()

Completed in 7 milliseconds