Re: Fpage mapping in L4 Pistachio
Espen Skoglund <[email protected]>
| Newsgroups | gmane.comp.micro-kernel.l4.l4ka.general |
|---|---|
| Message-ID | <[email protected]> |
[Katsumi Maruyama]
>> And the xbuf[] array should now be accessible at address 0x40006820 of
>> mappee. Is this not happening?
>>
>>
> I expected the mapping at 0x40006820, but it seemed not-mapped.
> KDB d command answered:
> d 0x40006820
>> memdump
> Dump address [0x0]: 0x40006820
> 0x40006820 ######## ######## ######## ########
> .....
Try dumping the page table of the mapper ('p' in kdb). Also, try
dumping the mapping database for the page frame in question ('m' in
kdb I think, and provide the physical address of the page).
eSk