Searched refs:guard_page_count (Results 1 – 1 of 1) sorted by relevance
284 int guard_page_count = 0; in kernel_memory_allocate_prot() local346 guard_page_count++; in kernel_memory_allocate_prot()356 guard_page_count++; in kernel_memory_allocate_prot()366 for (int i = 0; i < guard_page_count; i++) { in kernel_memory_allocate_prot()