get_page_address(unsigned int page_index) | Segment_header | [inline] |
page_addresses | Segment_header | [protected] |
set_page_address(unsigned int page_index, void *page_address) | Segment_header | [inline] |
Torsion Operating System, Copyright (C) 2000-2002 Dan Helfman