Home
last modified time | relevance | path

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

/hypervisor/include/arch/x86/asm/
A Dcpu.h677 #define ACRN_PSEUDO_PCPUID_MSR MSR_IA32_SYSENTER_CS macro
685 return (uint16_t)cpu_msr_read(ACRN_PSEUDO_PCPUID_MSR); in get_pcpu_id()
/hypervisor/arch/x86/
A Dcpu.c525 msr_write(ACRN_PSEUDO_PCPUID_MSR, (uint32_t) pcpu_id); in set_current_pcpu_id()
/hypervisor/arch/x86/guest/
A Dvmcs.c214 exec_vmwrite32(VMX_HOST_IA32_SYSENTER_CS, msr_read(ACRN_PSEUDO_PCPUID_MSR)); in init_host_state()

Completed in 7 milliseconds