Did you mean (for openbmc):__get_user_64 __get_user_8 __get_user_e __get_user_u64 __get_user_x
Your search defs:__get_user64 did not match any files. Suggestions: