/*
 * $Id: memstat.c,v 1.1 2008/01/11 15:17:44 nbrk Exp $
 */
#include <sys/types.h>
#include <sys/devctl.h>
#include <libkern/printf.h>

/*
 * Report some memory statistics.
 */
extern	uint32_t physmem;
extern	uint32_t totalpages;
extern	uint32_t freepages;


void
memstat_enter(void)
{
	
}