Changeset View
Changeset View
Standalone View
Standalone View
sys/amd64/vmm/intel/vmx_msr.c
Show All 27 Lines | |||||
#include <sys/cdefs.h> | #include <sys/cdefs.h> | ||||
__FBSDID("$FreeBSD$"); | __FBSDID("$FreeBSD$"); | ||||
#include <sys/param.h> | #include <sys/param.h> | ||||
#include <sys/systm.h> | #include <sys/systm.h> | ||||
#include <machine/cpufunc.h> | #include <machine/cpufunc.h> | ||||
#include <machine/specialreg.h> | |||||
#include "vmx_msr.h" | #include "vmx_msr.h" | ||||
static boolean_t | static boolean_t | ||||
vmx_ctl_allows_one_setting(uint64_t msr_val, int bitpos) | vmx_ctl_allows_one_setting(uint64_t msr_val, int bitpos) | ||||
{ | { | ||||
if (msr_val & (1UL << (bitpos + 32))) | if (msr_val & (1UL << (bitpos + 32))) | ||||
▲ Show 20 Lines • Show All 129 Lines • Show Last 20 Lines |