Searched refs:MSR_SYSCALL_MASK (Results 1 – 2 of 2) sorted by relevance
96 deny_msr(bitmap_c0000000_read, MSR_SYSCALL_MASK); in prepare_bitmaps()292 wrmsr(MSR_SYSCALL_MASK, 0); in guest_msr_calls()296 GUEST_ASSERT(rdmsr(MSR_SYSCALL_MASK) == MSR_SYSCALL_MASK); in guest_msr_calls()299 GUEST_ASSERT(rdmsr(MSR_SYSCALL_MASK) != MSR_SYSCALL_MASK); in guest_msr_calls()600 if (run->msr.index == MSR_SYSCALL_MASK || in handle_rdmsr()
14 #define MSR_SYSCALL_MASK 0xc0000084 /* EFLAGS mask for syscall */ macro
Completed in 9 milliseconds