11 PUBLIC static inline NEEDS["jdb_trace.h"]
13 Thread::log_page_fault()
15 return Jdb_pf_trace::log();
19 /** Page-fault logging.
22 Thread::page_fault_log(Address pfa, unsigned error_code, unsigned long eip)
24 if (Jdb_pf_trace::check_restriction(current_thread()->dbg_info()->dbg_id(), pfa))
26 Lock_guard <Cpu_lock> guard (&cpu_lock);
28 Tb_entry_pf *tb = static_cast<Tb_entry_pf*>
29 (EXPECT_TRUE(Jdb_pf_trace::log_buf()) ? Jdb_tbuf::new_entry()
30 : alloca(sizeof(Tb_entry_pf)));
31 tb->set(this, eip, pfa, error_code, current()->space());
33 if (EXPECT_TRUE(Jdb_pf_trace::log_buf()))
34 Jdb_tbuf::commit_entry();
36 Jdb_tbuf::direct_log_entry(tb, "PF");