vcpuid.h File Reference

Go to the source code of this file.

Namespaces
	vcpuid

Typedefs
using	vcpuid::type = uint64_t

Variables
constexpr const auto	vcpuid::reserved = 0x8000000000000000UL
constexpr const auto	vcpuid::invalid = 0xFFFFFFFFFFFFFFFFUL
constexpr const auto	vcpuid::current = 0xFFFFFFFFFFFFFFF0UL
constexpr const auto	vcpuid::guest_mask = 0xFFFFFFFFFFFF0000UL
constexpr const auto	vcpuid::guest_from = 16