page_alloc.h 419 B

12345678910111213141516171819
  1. /*
  2. * Part of Scheme 48 1.9. See file COPYING for notices and license.
  3. *
  4. * Authors: David Frese
  5. */
  6. #ifndef __S48_PAGE_ALLOC_H
  7. #define __S48_PAGE_ALLOC_H
  8. #include "memory.h"
  9. extern void s48_initialize_page_allocation();
  10. extern unsigned long s48_allocate_pages(unsigned long minimum,
  11. unsigned long maximum,
  12. s48_address* start);
  13. extern void s48_free_pagesB(s48_address start, unsigned long size);
  14. #endif