UVM_RESERVED_PAGES_PER_CPU
#ifndef UVM_RESERVED_PAGES_PER_CPU
int vm_page_reserve_kernel = UVM_RESERVED_PAGES_PER_CPU;