Constant x86defs::snp::GHCB_DATA_PAGE_STATE_UNSMASH

source ยท
pub const GHCB_DATA_PAGE_STATE_UNSMASH: u64 = 0x004;