00001 #ifndef ldr_routines_h 00002 #define ldr_routines_h 00003 00004 #include <far_pointers.h> 00005 #include <ptedef.h> 00006 00007 int ldr_std_alloc_pt (int npte, void **svapte_p); 00008 int ldr_std_dealloc_pt (void *svapte, int npte); 00009 00010 int ldr_std_alloc_s0s1_va (const int req_pages, VOID_PPQ sva_p, PTE_PPQ va_pte_p); 00011 int ldr_std_dealloc_s0s1_va (const int page_count, const VOID_PQ sva); 00012 int ldr_std_alloc_s2_va (const int req_pages, VOID_PPQ sva_p, PTE_PPQ va_pte_p); 00013 int ldr_std_dealloc_s2_va (const int page_count, const VOID_PQ sva); 00014 int ldr_std_count_s2_pages (void); 00015 int ldr_std_alloc_s2_va_aligned (const int req_pages, VOID_PPQ sva); 00016 00017 #endif 00018