KERNEL_PMAP_BASE
map_range(KERNEL_PMAP_BASE + range.start, range.start, range.size,
*_virtualAddress = KERNEL_PMAP_BASE + physicalAddress;
memset(reinterpret_cast<void*>(KERNEL_PMAP_BASE + address), value, length);
memcpy(to, reinterpret_cast<void*>(KERNEL_PMAP_BASE + from), length);
return user_memcpy(to, reinterpret_cast<void*>(KERNEL_PMAP_BASE + from), length);
memcpy(reinterpret_cast<void*>(KERNEL_PMAP_BASE + to), from, length);
return user_memcpy(reinterpret_cast<void*>(KERNEL_PMAP_BASE + to), from, length);
memcpy(reinterpret_cast<void*>(KERNEL_PMAP_BASE + to),
reinterpret_cast<void*>(KERNEL_PMAP_BASE + from), B_PAGE_SIZE);
return reinterpret_cast<uint64_t*>(KERNEL_PMAP_BASE + pa);
return reinterpret_cast<uint64_t*>(KERNEL_PMAP_BASE + pa);
void* address = (void*) KERNEL_PMAP_BASE;
return reinterpret_cast<uint64_t*>(KERNEL_PMAP_BASE + pa);
void* address = (void*)KERNEL_PMAP_BASE;
STATIC_ASSERT(KERNEL_PMAP_BASE == 0xffffff0000000000);
if (physicalAddress >= KERNEL_PMAP_BASE)
*virtualAddress = physicalAddress + KERNEL_PMAP_BASE;
if (physicalAddress >= KERNEL_PMAP_BASE)
*virtualAddress = physicalAddress + KERNEL_PMAP_BASE;
memset((void*)(address + KERNEL_PMAP_BASE), value, length);
auto from = (void*)(_from + KERNEL_PMAP_BASE);
auto to = (void*)(_to + KERNEL_PMAP_BASE);
memcpy((void*)(to + KERNEL_PMAP_BASE), (void*)(from + KERNEL_PMAP_BASE),
return (void*)(physicalAddress + KERNEL_PMAP_BASE);
return (void*)(physicalAddress + KERNEL_PMAP_BASE);
if (physicalAddress >= KERNEL_PMAP_BASE)
*virtualAddress = physicalAddress + KERNEL_PMAP_BASE;
#if KERNEL_PMAP_BASE
const addr_t frameBuffer = (KERNEL_PMAP_BASE