#ifndef PAGING_H
#define PAGING_H

void init_paging(void);

#endif