Hi,
in vmx_hpw_miss (DTLB part):
if (!guest_vhpt_lookup(vhpt_adr, &pteval)) {
/* VHPT successfully read. */
if (!(pteval & _PAGE_P)) {
if (vpsr.ic) {
vcpu_set_isr(v, misr.val);
dtlb_fault(v, vadr); /* XXXXXXXXXXXX */
return IA64_FAULT;
} else {
nested_dtlb(v);
return IA64_FAULT;
}Shouldn't we call data_page_not_present instead ? Tristan. _______________________________________________ Xen-ia64-devel mailing list Xen-ia64-devel@lists.xensource.com http://lists.xensource.com/xen-ia64-devel
