Paging initialization.
More...
#include <stdio.h>
#include <assert.h>
#include <bsp.h>
#include <rtems.h>
#include <libcpu/page.h>
#include <rtems/score/cpu.h>
|
uint64_t amd64_pml4[NUM_PAGE_TABLE_ENTRIES] | RTEMS_ALIGNED (4096) |
|
bool | paging_1gib_pages_supported (void) |
|
uint8_t | get_maxphysaddr (void) |
|
uint64_t | get_mask_for_bits (uint8_t start, uint8_t end) |
|
uint64_t | create_cr3_entry (uint64_t phys_addr, uint8_t maxphysaddr, uint64_t flags) |
|
uint64_t | create_pml4_entry (uint64_t phys_addr, uint8_t maxphysaddr, uint64_t flags) |
|
uint64_t | create_pdpt_entry (uint64_t phys_addr, uint8_t maxphysaddr, uint64_t flags) |
|
void | paging_init (void) |
|