2018-12-16 23:52:33 +00:00
|
|
|
#pragma once
|
|
|
|
|
|
2019-06-26 05:47:18 +00:00
|
|
|
#include <kern/cdef.h>
|
2019-11-28 18:02:52 +00:00
|
|
|
#include <arch/mlayout.h>
|
2018-12-16 23:52:33 +00:00
|
|
|
|
2019-11-28 18:02:52 +00:00
|
|
|
static inline void *
|
|
|
|
|
arch_pmap_map(uintptr paddr, ATTR_UNUSED usize size)
|
|
|
|
|
{
|
2019-12-07 08:54:18 +00:00
|
|
|
return (void*)(paddr + KERN_PMAP_START);
|
2019-11-28 18:02:52 +00:00
|
|
|
}
|
