/*
 * @DEC_COPYRIGHT@
 */
/*
 * HISTORY
 * $Log:	device_pager.h,v $
 * Revision 4.2  91/09/19  22:06:25  devbld
 * Adding ODE Headers
 * 
 * $EndLog$
 */
/*	
 *	@(#)$RCSfile: device_pager.h,v $ $Revision: 4.2 $ (DEC) $Date: 91/09/19 22:06:25 $
 */ 
/*
 */
/*
 * (c) Copyright 1990, OPEN SOFTWARE FOUNDATION, INC.
 * ALL RIGHTS RESERVED
 */
/* 
 * Mach Operating System
 * Copyright (c) 1989 Carnegie-Mellon University
 * Copyright (c) 1988 Carnegie-Mellon University
 * All rights reserved.  The CMU software License Agreement specifies
 * the terms and conditions for use and redistribution.
 */
/*
 * OSF/1 Release 1.0
 */
/*
 *	File:	builtin/device_pager.h
 *
 *	Exported things from the device pager.
 */

#ifndef	_BUILTIN_DEVICE_PAGER_H_
#define _BUILTIN_DEVICE_PAGER_H_

#ifdef	KERNEL
#include <mach/memory_object.h>

extern void		device_pager_init();
extern void		device_pager();
extern memory_object_t	device_pager_create();
#endif	/* KERNEL */
#endif	/* _BUILTIN_DEVICE_PAGER_H_ */
