Searched refs:user_ptr32_to_psaddr (Results 1 – 1 of 1) sorted by relevance
1566 user_ptr32_to_psaddr(int32_t user_pointer) in user_ptr32_to_psaddr() function1730 straddr = user_ptr32_to_psaddr(u.strarray32[i]); in print_arg()