#include <segment.h>
Public Methods | |
void * | get_page_address (unsigned int page_index) |
void | set_page_address (unsigned int page_index, void *page_address) |
Protected Attributes | |
void ** | page_addresses |
|
Given a page index into this segment, return the corresponding virtual address of that page. E.g., passing in a page_index of 5 will return the virtual address of the 5th page stored in this segment.
|
|
Given a page index into this segment, set the virtual address of the page.
|
|
array of addresses for pages in this segment.
|
Torsion Operating System, Copyright (C) 2000-2002 Dan Helfman