pub const SECBUFFER_KERNEL_MAP: u32 = 536870912u32;