When I read the code of do_update_va_mapping, I find that it update the pte entry in the line page table by looking up the line page table via guest_map_l1e() :
Copyright
, XenSource, Inc. All rights reserved.
Note: the xen.org trademark policy
is changing. For information please email legalxen.org, Legal and Privacy