Searched refs:total_user_pages (Results 1 – 1 of 1) sorted by relevance
1009 unsigned long random_vaddr, random_pages, total_user_pages; in get_random_vaddr() local1011 total_user_pages = (TASK_SIZE - FIRST_USER_ADDRESS) / PAGE_SIZE; in get_random_vaddr()1013 random_pages = get_random_long() % total_user_pages; in get_random_vaddr()
