#include "ultra64.h"
#include "global.h"

s32 osAfterPreNMI(void) {
    return __osSpSetPc(0);
}