|  |  | 
  
    |  |  | 
 
  |   |  | 
  
    |  |  | 
  
    |  |  | 
  
    |   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 <=
 |  |  | 
  
    |  |  |