/* Copyright (C) 1995-1999 CW Sandmann (sandmann@clio.rice.edu) 1206 Braelinn, Sugar Land, TX 77479
** Copyright (C) 1993 DJ Delorie, 24 Kirsten Ave, Rochester NH 03867-2954
**
** This file is distributed under the terms listed in the document
** "copying.cws", available from CW Sandmann at the address above.
** A copy of "copying.cws" should accompany this file; if not, a copy
** should be available from where this file was obtained.  This file
** may not be distributed without a verbatim copy of "copying.cws".
**
** This file is distributed WITHOUT ANY WARRANTY; without even the implied
** warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
*/

/* These functions deal with page *numbers*
   pn << 8  = segment number
   pn << 12 = physical address
   pn << 24 = seg:ofs			*/

#if 0
typedef unsigned short va_pn;
#define MAX_VPAGE 0xffff
#else
typedef unsigned long va_pn;	/* Must be unsigned long for > 256Mb phys */
#define MAX_VPAGE 0xffffffffUL
#endif

void valloc_init(word16 ies);
void valloc_uninit(void);
va_pn valloc(void);
unsigned valloc_640(void);
int vfree(va_pn pn);
va_pn valloc_max_size(void);
va_pn valloc_used(void);