Constant x86defs::snp::GHCB_PAGE_HYPERCALL_OUTPUT_OFFSET

pub const GHCB_PAGE_HYPERCALL_OUTPUT_OFFSET: usize = 4080;