arch/x86_64/hal/uacpi.c


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

#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;
}