/* The comment below is needed for this file to be picked up by generate_ld */
/* RAM_POS: 0x800C7340 */

#include "types.h"

//This has been blanked out for some reason
s32 __osLeoInterrupt(void) {
    return 0;
}
