Searched defs:user_fault_msg (Results 1 – 2 of 2) sorted by relevance
29 struct user_fault_msg { struct30 badge_t fault_badge;31 vaddr_t fault_va;
21 struct user_fault_msg { struct22 badge_t fault_badge;23 vaddr_t fault_va;