oot/src/libultra_boot_O1/__osResetGlobalIntMask.c

#include "global.h"

void __osResetGlobalIntMask(u32 mask) {
    register s32 prevInt = __osDisableInt();

    __OSGlobalIntMask &= ~(mask & ~0x401);
    __osRestoreInt(prevInt);
}