Did you mean (for linux):__get_user_instr __get_user_fn
Your search defs:__get_user_int did not match any files. Suggestions: