|   | 
      | 
  
  
      | 
      | 
  
 
     | 
    | 
  
  
     | 
    | 
  
  
    |   | 
      | 
  
  
    | 
         
xen-devel
[Xen-devel] Question about linear mapping of shadow page tables for	64bi
 
Linear mapping of shadow page tables is used to find shadow PTEs that
map a given guest VA. If I understand the following macros correctly
    #define __sh_linear_l1_table ((shadow_l1e_t *)(SH_LINEAR_PT_VIRT_START))
    #define __sh_linear_l2_table ((shadow_l2e_t *)
          \
        (__sh_linear_l1_table +
shadow_l1_linear_offset(SH_LINEAR_PT_VIRT_START)))
there is an overlap between L1 and L2 (also L3 and L4) tables. That
creates potential conflicts between different guest VAs.
For example L1 shadow PTE for guest VA1 = 0x818000000000 (the same as
SH_LINEAR_PT_VIRT_START) coincides with L2 shadow PTE for the guest
VA2 = 0x0. So updating L1 shadow PTE for guest VA1 would overwrite L2
shadow PTE for the guest VA2.
What am I missing? Sorry for the novice question.
Thank you,
Abe.
_______________________________________________
Xen-devel mailing list
Xen-devel@xxxxxxxxxxxxxxxxxxx
http://lists.xensource.com/xen-devel
 |   
 
| <Prev in Thread] | 
Current Thread | 
[Next in Thread>
 |  
- [Xen-devel] Question about linear mapping of shadow page tables for	64bit HVM guest,
Abe Petrov <=
 
 
 |  
  
 | 
    | 
  
  
    |   | 
    |