Searched refs:MSR_IA32_STAR (Results 1 – 5 of 5) sorted by relevance
19 #define MSR_IA32_STAR 0xc0000081 macro
57 wrmsr(MSR_IA32_STAR, 0x123456789abcdef0); in native_msr_vcpu_entry()
1223 MSR_IA32_STAR,
769 #define MSR_IA32_STAR 0xC0000081 macro
528 wrmsr64(MSR_IA32_STAR, (((uint64_t)USER_CS) << 48) | (((uint64_t)KERNEL64_CS) << 32)); in cpu_syscall_init()