Constant x86defs::snp::GHCB_PAGE_HYPERCALL_PARAMETERS_OFFSET

pub const GHCB_PAGE_HYPERCALL_PARAMETERS_OFFSET: usize = 4072;