[][src]Constant antic::EXEC_PAGESIZE

pub const EXEC_PAGESIZE: u32 = 4096;