pub type SceKernelDebugInfoFlags = c_uint;