|
|
|
|
|
|
|
|
|
|
xen-arm
[XenARM] Strange behaviour...
Hello,
Just a question:
The following code is taken from domain_build.c in Samsung's port, in the build_pagetable() function:
…
for (count = 0; count < 4; count++) {
*(pde + count) = l2e_from_paddr((unsigned long)pte, __L2_PAGE_USER_TABLE);
pte += 256; /* coarse page table on ARM */
}
…
However, the l2e_from_paddr() begins with the following assertion: ASSERT((pa & ~(PADDR_MASK & PAGE_MASK)) == 0);
Which will fail since the pte address is incremented with 256 (*4), and is not 4 KB-page aligned.
Is the build_pagetable() function not used anymore?
Cheers
Daniel
_______________________________________________
Xen-arm mailing list
Xen-arm@xxxxxxxxxxxxxxxxxxx
http://lists.xensource.com/mailman/listinfo/xen-arm
|
<Prev in Thread] |
Current Thread |
[Next in Thread>
|
- [XenARM] Strange behaviour...,
ROSSIER Daniel <=
|
|
|
|
|