Searched refs:total_user_pages (Results 1 – 1 of 1) sorted by relevance
1003 unsigned long random_vaddr, random_pages, total_user_pages; in get_random_vaddr() local1005 total_user_pages = (TASK_SIZE - FIRST_USER_ADDRESS) / PAGE_SIZE; in get_random_vaddr()1007 random_pages = get_random_long() % total_user_pages; in get_random_vaddr()
Completed in 5 milliseconds