Home
last modified time | relevance | path

Searched defs:value64 (Results 1 – 5 of 5) sorted by relevance

/hypervisor/arch/x86/guest/
A Dvmcs.c89 uint64_t value64; in init_host_state() local
265 uint64_t value64; in init_exec_ctrl() local
A Dvmsr.c521 uint64_t value64; in init_msr_emulation() local
A Dnested.c1002 uint64_t value64; in merge_and_sync_control_fields() local
/hypervisor/arch/x86/
A Dcpu.c629 void msr_write_pcpu(uint32_t msr_index, uint64_t value64, uint16_t pcpu_id) in msr_write_pcpu()
/hypervisor/include/arch/x86/asm/
A Dcpu.h709 static inline void msr_write(uint32_t reg_num, uint64_t value64) in msr_write()
714 static inline int32_t msr_write_safe(uint32_t reg_num, uint64_t value64, uint64_t rsvd) in msr_write_safe()

Completed in 11 milliseconds