void* ksceKernelSysrootAlloc(int size);