Constant x86defs::snp::GHCB_DATA_PAGE_STATE_PRIVATE

pub const GHCB_DATA_PAGE_STATE_PRIVATE: u64 = 0x001;