#include "arch/x86_64/page-mapping.h"
#include "arch/x86_64/page.h"
#include <stddef.h>
#include "print.h"

pmle_t*
page_mapping_traverse(pmle_t *pml4, uint8_t depth, uint16_t *path)
{
    uint16_t pathi = path[0];

    pmle_t *pmle = &pml4[pathi];
    pmle_t *pmle_table = vmem_phys_tovirt(pmle->paddr << 12);
    if(depth == 0) return pmle;
    if(!pmle->p) return NULL;
    return page_mapping_traverse(pmle_table, depth - 1, path + 1);
}

pmle_t*
mem_mapping_vptr_mapping(pmle_t *pml4, uint8_t depth, uintptr_t vptr)
{
    uint64_t pathval = 0;
    uint16_t *path = (uint16_t*)&pathval;

    for(uint8_t i = 0; i < depth; i++) {
        path[i] = PML_I_FOR_LAYER(vptr, 4 - i);
    }
    return page_mapping_traverse(pml4, depth - 1, path);
}