/* Copyright (c) 1993-2007 by Richard Kelsey and Jonathan Rees.
   See file COPYING. */

#ifndef __S48_PAGE_ALLOC_H
#define __S48_PAGE_ALLOC_H

#include "memory.h"

extern void s48_initialize_page_allocation();
extern unsigned int s48_allocate_pages(unsigned int minimum,
				       unsigned int maximum,
				       s48_address* start);
extern void s48_free_pagesB(s48_address start, unsigned int size);

#endif
