Searched refs:strarray32 (Results 1 – 1 of 1) sorted by relevance
1682 int32_t strarray32[PAGE_SIZE / sizeof(int32_t)]; in print_arg() member1728 straddr = user_ptr32_to_psaddr(u.strarray32[i]); in print_arg()