☰
In miri::machine
Structs
AllocExtra
FrameExtra
MiriMachine
PrimitiveLayouts
Enums
MiriMemoryKind
Provenance
ProvenanceExtra
Constants
PAGE_SIZE
STACK_ADDR
STACK_SIZE
Traits
MiriInterpCxExt
Type Definitions
MiriInterpCx
?
Constant
miri
::
machine
::
PAGE_SIZE
source
·
[
−
]
pub const PAGE_SIZE:
u64
= _; // 4_096u64