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