Lines Matching refs:fault_address
49 void disp_pagefault(dispatcher_handle_t handle, lvaddr_t fault_address,
51 void disp_pagefault_disabled(dispatcher_handle_t handle, lvaddr_t fault_address,
317 * \param fault_address Fault address
321 void disp_pagefault(dispatcher_handle_t handle, lvaddr_t fault_address,
358 (void *)fault_address, regs);
366 DISP_NAME_LEN, disp->name, error, fault_address, ip);
400 * \param fault_address Fault address
404 void disp_pagefault_disabled(dispatcher_handle_t handle, lvaddr_t fault_address,
412 DISP_NAME_LEN, disp->name, error, fault_address, ip);
414 if(fault_address == 0) {