Constant sel4_sys::seL4_RefillSizeBytes

pub const seL4_RefillSizeBytes: u32 = 16;