The errors i tried to map iomem to virtual memory

[Guanghui, Cheng]

Hello:
	I tried to map the hpet iomem to the virtual memory but i got some error. The 
log is as following:
vtimer  | rmgr_pager 4:0
vtimer  | hpet_address 0xfed00000
vtimer  | hpet size 0x400000
vtimer  | hpet_virt_address 0x400000
ROOT: Cannot map page at fed00000 log2_size=12 failed
vtimer  | IOMem mapping error : No fpage received
vtimer  | __handle_pf(): L4RM: page fault: no entry in region list
vtimer  | L4RM: [PF] read at 0x00400000, ip 0100024e, src 8.02
	It seems that when I map the iomem the pagesize is not permitted but 
superpagesize is ok.  But i still get the error as "No fpage received". Does 
anybody tell me what the problem is?
	Thanks.
					Cheng Guanghui
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://os.inf.tu-dresden.de/pipermail/l4-hackers/attachments/20091103/7cd5af2a/attachment.html>