#ifndef PAGING_PAGING_H_
#define PAGING_PAGING_H_

#include <stddef.h>
#include <stdint.h>

void paging_init(void);
size_t paging_virt2phys(size_t virtaddr);

#endif // PAGING_PAGING_H_