#include "common.h" INCLUDE_ASM(s32, "os/code_45a30_len_20", osAfterPreNMI, void);