Constant GHCB_DATA_PAGE_STATE_LARGE_PAGE 

pub const GHCB_DATA_PAGE_STATE_LARGE_PAGE: u64 = 0x010;