#ifndef MEMORY_PAGING_H
#define MEMORY_PAGING_H

#include <stdint.h>
#include <nucleus/cpu.h>

void early_page_fault_handler(struct InterruptFrame *frame, uint32_t err);

#endif