Did you mean (for linux):userspace_addr
Your search defs:user_page_addr did not match any files. Suggestions: