#include "lib/printf.h"
#include "uacpi/kernel_api.h"
#include "paging.h"

void *uacpi_kernel_map(uacpi_phys_addr addr, uacpi_size len)
{
    //kprintf("UACPI kernel map %p -> %p\n", addr, (uintptr_t)addr | IDENT_VIRT_BASE);
    return (void*)(addr | IDENT_VIRT_BASE);
}

void uacpi_kernel_unmap(void *addr, uacpi_size len)
{
    (void)addr;
    (void)len;
}