Constant seL4_RISCV_4K_Page 

pub const seL4_RISCV_4K_Page: Type = 6;