19#ifndef __LIBARCH_ARM64_FIRSTTABLE_H
20#define __LIBARCH_ARM64_FIRSTTABLE_H
22#include <FreeNOS/System.h>
124 const bool tablesOnly);
ARM64 first level page table.
MemoryContext::Result translate(Address virt, Address *phys, SplitAllocator *alloc) const
Translate virtual address to physical address.
MemoryContext::Result unmap(Address virt, SplitAllocator *alloc)
Remove virtual address mapping.
MemoryContext::Result map(Address virt, Address phys, Memory::Access access, SplitAllocator *alloc)
Map a virtual address to a physical address.
u64 get_l2_entry(Address virt, SplitAllocator *alloc, u64 **tbl_l2, unsigned int *l2_idx) const
Get entry of Level 2 table.
u64 m_tables_l1[512]
Array of page table entries.
MemoryContext::Result access(Address virt, Memory::Access *access, SplitAllocator *alloc) const
Get Access flags for a virtual address.
static void initialize(ARM64FirstTable *firstTable)
void releasePhysical(SplitAllocator *alloc, const Address phys)
Release a single physical page.
MemoryContext::Result releaseRange(const Memory::Range range, SplitAllocator *alloc)
Release range of memory.
ARM64SecondTable * getSecondTable(Address virt, SplitAllocator *alloc) const
Retrieve second level page table.
MemoryContext::Result releaseSection(const Memory::Range range, SplitAllocator *alloc, const bool tablesOnly)
Release memory sections.
MemoryContext::Result mapLarge(Memory::Range range, SplitAllocator *alloc)
Map a contigous range of virtual memory to physical memory.
ARM64 second level page table implementation.
Allocator which separates kernel mapped memory at virtual and physical addresses.
unsigned int u32
Unsigned 32-bit number.
unsigned long Address
A memory address.
unsigned long long u64
Unsigned 64-bit number.
Access
Memory access flags.