void psxBiosFreeze(int Mode);
void psxBiosCnfLoaded(u32 tcb_cnt, u32 evcb_cnt, u32 sp);
void psxBiosSetupBootState(void);
-void psxBiosCheckExe(u32 t_addr, u32 t_size);
+void psxBiosCheckExe(u32 t_addr, u32 t_size, int loading_state);
void psxBiosCheckBranch(void);
extern void (*biosA0[256])();