#ifndef _KERNEL_AMD64_MM_H
#define _KERNEL_AMD64_MM_H

#include <libk/std.h>
#include <sync/spin_lock.h>

#define PAGE_SIZE 4096

struct pd {
  uintptr_t cr3_paddr;
};

void load_kernel_cr3 (void);

#endif // _KERNEL_AMD64_MM_H
