Searched refs:pal_dbg_page_fault (Results 1 – 4 of 4) sorted by relevance
124 #undef pal_dbg_page_fault126 pal_dbg_page_fault( thread_t thread __unused, in pal_dbg_page_fault() function
34 #define pal_dbg_page_fault(x, y, z) macro
107 extern void pal_dbg_page_fault( thread_t thread, user_addr_t vadddr,
1241 pal_dbg_page_fault(thread, vaddr, kret); in user_trap()