Constant GHCB_DATA_PAGE_STATE_MASK 

pub const GHCB_DATA_PAGE_STATE_MASK: u64 = 0x00F;