Searched defs:user_addr_t (Results 1 – 1 of 1) sorted by relevance
31 typedef uint32_t user_addr_t; typedef38 typedef vaddr_t user_addr_t; typedef