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