[Xen-ia64-devel] Question in vmx_fault.c

[Tristan Gingold <tgingold@xxxxxxx>]

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@xxxxxxxxxxxxxxxxxxx
http://lists.xensource.com/xen-ia64-devel