// vmm.c
// Author: Josh Holtrop
// Date: 09/30/03

void	*vmm_PDBR;

void	vmm_init()
{
	if(!(vmm_PDBR = mm_palloc(1, PID_KERNEL)))
	{
		printf("ERROR! COULD NOT ALLOCATE PAGE FOR INITIAL PAGE DIRECTORY!!");
		halt();
	}




}


void	*malloc(dword bytes)
{


}



int	free(void *ptr)
{




}