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