std :: kernel::paging
#include <std/kernel/paging.h> source
#include <std/kernel/paging.h>
#define PAGE_USER 4