pub type SceKernelMemoryType = c_uint;