int (*sceKernelGetIdPs)(void* ret);
int (*sceKernelGetOpenPsIdForSystem)(void* ret);
int kernel_lib = sceKernelLoadStartModule("libkernel.sprx", 0, NULL, 0, NULL, NULL);
sceKernelDlsym(kernel_lib, "sceKernelGetIdPs", &sceKernelGetIdPs);
sceKernelDlsym(kernel_lib, "sceKernelGetOpenPsIdForSystem", &sceKernelGetOpenPsIdForSystem);
void* idps = malloc(64);
void* psid = malloc(16);
sceKernelGetIdPs(idps); // Missing some byte at end
sceKernelGetOpenPsIdForSystem(psid);