vcpuid Namespace Reference

Typedefs
using	type = uint64_t

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

Typedef Documentation

type

using vcpuid::type = typedef uint64_t

Definition at line 31 of file vcpuid.h.

Variable Documentation

reserved

constexpr const auto vcpuid::reserved = 0x8000000000000000UL

Definition at line 33 of file vcpuid.h.

invalid

constexpr const auto vcpuid::invalid = 0xFFFFFFFFFFFFFFFFUL

Definition at line 35 of file vcpuid.h.

current

constexpr const auto vcpuid::current = 0xFFFFFFFFFFFFFFF0UL

Definition at line 36 of file vcpuid.h.

guest_mask

constexpr const auto vcpuid::guest_mask = 0xFFFFFFFFFFFF0000UL

Definition at line 38 of file vcpuid.h.

guest_from

constexpr const auto vcpuid::guest_from = 16

Definition at line 39 of file vcpuid.h.