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