public:
typedef void (*Dbg_extension_entry)(Thread *t, Entry_frame *r);
static Dbg_extension_entry dbg_extension[64];
-private:
+
+protected:
static int call_nested_trap_handler(Trap_state *ts) asm ("call_nested_trap_handler");
static Trap_state::Handler nested_trap_handler FIASCO_FASTCALL;
};