Constant GHCB_DATA_PAGE_STATE_PSMASH 

pub const GHCB_DATA_PAGE_STATE_PSMASH: u64 = 0x003;