#ifndef KERNELMQ_INCLUDED_PAGING #define KERNELMQ_INCLUDED_PAGING 1 void paging_initialize(); #endif