extern int bb_disable_bluebox(struct savearea *);
extern int bb_settaskenv(struct savearea *);
+kern_return_t syscall_notify_interrupt(void);
+
struct BlueExceptionDataArea {
UInt32 srr0; // OUT PC at time of exception, IN return address
UInt32 srr1; // OUT/IN msr FE0, BE, SE and FE1 bits to restore on exit