#pragma once

#include <kernel/types.h>
#include <stddef.h>
#include <stdint.h>

static inline size_t arch_mem_page_bits() {
    return 12;
}

static inline size_t arch_mem_level_bits() {
    return 9;
}

static inline size_t arch_mem_num_levels() {
    return 4;
}

static inline virt_t arch_mem_hhdm_addr() {
    return 0xFFFF'8000'0000'0000;
}

static inline virt_t arch_mem_pfndb_addr() {
    return 0xFFFF'A000'0000'0000;
}

static inline virt_t arch_mem_mapping_addr() {
    return 0xFFFF'C000'0000'0000;
}

typedef uint64_t pte_t;
enum pte_flags;
enum cache_mode;
struct page_table;

void arch_mem_pte_clear(pte_t* pte);
pte_t arch_mem_pte_build(phys_t addr, enum pte_flags flags, enum cache_mode cache);
bool arch_mem_pte_is_present(pte_t* pte);
bool arch_mem_pte_is_dir(pte_t* pte);
phys_t arch_mem_pte_address(pte_t* pte);
void arch_mem_pt_set(struct page_table* pt);