[][src]Constant CCODE::ERROR_PAGE_FAULT_GUARD_PAGE

pub const ERROR_PAGE_FAULT_GUARD_PAGE: u32 = 750;