Constant miri::machine::PAGE_SIZE

source ·
pub const PAGE_SIZE: u64 = _; // 4_096u64