page.c File Reference

Paging initialization. More...

#include <stdio.h>
#include <assert.h>
#include <bsp.h>
#include <rtems.h>
#include <libcpu/page.h>
#include <rtems/score/cpu.h>

Functions
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)

Detailed Description

Paging initialization.