Changeset View

Standalone View

	Show First 20 Lines • Show All 44 Lines • ▼ Show 20 Lines
	#include <machine/vmm.h>			#include <machine/vmm.h>

	#include "vmm_host.h"			#include "vmm_host.h"
	#include "vmm_ktr.h"			#include "vmm_ktr.h"
	#include "vmm_util.h"			#include "vmm_util.h"
	#include "x86.h"			#include "x86.h"

	SYSCTL_DECL(_hw_vmm);			SYSCTL_DECL(_hw_vmm);
	static SYSCTL_NODE(_hw_vmm, OID_AUTO, topology, CTLFLAG_RD, 0, NULL);			static SYSCTL_NODE(_hw_vmm, OID_AUTO, topology, CTLFLAG_RD \| CTLFLAG_MPSAFE, 0,
				NULL);

	#define CPUID_VM_HIGH 0x40000000			#define CPUID_VM_HIGH 0x40000000

	static const char bhyve_id[12] = "bhyve bhyve ";			static const char bhyve_id[12] = "bhyve bhyve ";

	static uint64_t bhyve_xcpuids;			static uint64_t bhyve_xcpuids;
	SYSCTL_ULONG(_hw_vmm, OID_AUTO, bhyve_xcpuids, CTLFLAG_RW, &bhyve_xcpuids, 0,			SYSCTL_ULONG(_hw_vmm, OID_AUTO, bhyve_xcpuids, CTLFLAG_RW, &bhyve_xcpuids, 0,
	"Number of times an unknown cpuid leaf was accessed");			"Number of times an unknown cpuid leaf was accessed");
	▲ Show 20 Lines • Show All 557 Lines • Show Last 20 Lines