Kernel_Library_D13BDE95 reverse

u32 Kernel_Library_D13BDE95(void)
{
    s32 unk0 = *(s32*)0x2BC0;
    u32 unk1;

    if (unk0 == 0)
    {
        // ThreadManForUser_D13BDE95
        sceKernelCheckThreadStack();
        return;
    }

    unk1 = pspGetSp() - *(s32*)(0x2BC0 + 200);

    if (unk1 >= 64)
    {
        // 0x80020064
        return SCE_ERROR_KERNEL_CANNOT_BE_CALLED_FROM_INTERRUPT;
    }

    return unk1;
}