moved pager into kernel virtual memory manager