*/
#include <stdio.h>
-#include <sys/param.h>
-#include <sys/file.h>
-#include "sbcl.h"
-#include "./signal.h"
-#include "os.h"
-#include "arch.h"
-#include "globals.h"
-#include "interrupt.h"
-#include "interr.h"
-#include "lispregs.h"
-#include <sys/socket.h>
-#include <sys/utsname.h>
-
-#include <sys/types.h>
#include <signal.h>
-#include <sys/time.h>
-#include <sys/stat.h>
-#include <unistd.h>
/* for cacheflush() */
#include <sys/cachectl.h>
/* for BD_CAUSE */
#include <asm/mipsregs.h>
-#include "validate.h"
+#include "sbcl.h"
+#include "os.h"
+#include "arch.h"
size_t os_vm_page_size;
os_context_bd_cause is also used to find out if a branch
emulation is needed. We work around that by checking if the
current instruction is a jump or a branch. */
- unsigned int inst = *((unsigned int *)(unsigned int)(*os_context_pc_addr(context)));
-
- switch (inst >> 26) {
- case 0x0: /* immediate jumps */
- switch (inst & 0x3f) {
- case 0x08:
- case 0x09:
- return CAUSEF_BD;
- }
- break;
- /* branches and register jumps */
- case 0x1:
- case 0x2:
- case 0x3:
- case 0x4:
- case 0x5:
- case 0x6:
- case 0x7:
+ extern boolean arch_insn_with_bdelay_p(unsigned int insn);
+
+ os_vm_address_t addr
+ = (os_vm_address_t)(unsigned int)*os_context_pc_addr(context);
+ unsigned int insn = *(unsigned int *)addr;
+
+ if (arch_insn_with_bdelay_p(insn))
return CAUSEF_BD;
- }
+
return 0;
}