Searched refs:vmx_guest_debugctl_read (Results 1 – 2 of 2) sorted by relevance
| /linux/arch/x86/kvm/vmx/ | ||
| H A D | vmx.h | 415 static inline u64 vmx_guest_debugctl_read(void) in vmx_guest_debugctl_read() function |
| H A D | vmx.c | 2274 msr_info->data = vmx_guest_debugctl_read(); in vmx_get_msr() |