clear_table(unsigned int *physical_table) | Address_map | |
CR0_PAGING | Page_map | [static] |
DIR_ENTRY_SHIFT | Address_map | [static] |
dir_entry_to_table(unsigned int *dir_entry) | Address_map | [inline, static] |
direct_mapped_end | Page_map | [protected] |
directory | Address_map | |
disk_directory | Address_map | |
ENTRIES_PER_TABLE | Address_map | [static] |
ENTRY_DIRTY | Address_map | [static] |
ENTRY_FRAME_ADDRESS | Address_map | [static] |
ENTRY_INDEX_MASK | Address_map | [static] |
ENTRY_PRESENT | Address_map | [static] |
ENTRY_READ_WRITE | Address_map | [static] |
get_pages_to_checkpoint(Array< void * > &pages_to_log) | Page_map | |
get_table_block_number(unsigned int disk_dir_index) | Address_map | [inline] |
handle_page_fault(unsigned int error_flags) | Page_map | |
init() | Page_map | |
make_temp_mapping(unsigned int *physical_page) | Page_map | |
map_page(void *virtual_page, void *physical_page) | Page_map | |
PAGE_TABLE_CACHE_SIZE | Page_map | [static] |
PAYLOAD_SHIFT | Address_map | [static] |
PTE_ACCESSED | Page_map | [static] |
PTE_PAGE_FRAME_ADDRESS | Page_map | [static] |
PTE_USER | Page_map | [static] |
set_table_address(unsigned int dir_index, unsigned int *physical_table) | Address_map | [inline] |
set_table_block_number(unsigned int disk_dir_index, unsigned int block_number) | Address_map | [inline] |
TABLE_ENTRY_SHIFT | Address_map | [static] |
table_entry_to_phys(unsigned int *page_entry) | Page_map | [inline, static] |
table_entry_to_virtual(unsigned int *dir_entry, unsigned int *physical_table, unsigned int *physical_table_entry) | Address_map | [inline] |
temp_mapping_cache | Page_map | [protected] |
unmap_page(void *virtual_page) | Page_map | |
virtual_to_dir_entry(void *virtual_addr) const | Address_map | [inline] |
virtual_to_dir_index(void *virtual_addr) const | Address_map | [inline] |
virtual_to_table_entry(void *virtual_addr, unsigned int *table) | Address_map | [inline, static] |
virtual_to_table_entry(void *virtual_addr) | Address_map | |