Subject: Re: vm/vm.h
To: None <Jan-Uwe.Finck@bigfoot.de>
From: Ignatios Souvatzis <ignatios@cs.uni-bonn.de>
List: port-arm32
Date: 07/17/2000 10:56:10 
On Mon, Jul 17, 2000 at 10:49:40AM +0200, Jan-Uwe Finck wrote:
> Ahh... Thanks.
> So could you just have a look into
> /usr/src/sys/arch/arm32/vidc/console/vidcconsole.c ?
> 
> If I didn't get it completely wrong vm.h is still included in there..

Try to remove that #include line completely or replace it with uvm/uvm.h

Regards,
	-is