 Home |
Products |
Support |
Community |
News |
xen-ia64-devel
[Xen-ia64-devel] Question in vmx_fault.c
| To: | Xen-ia64-devel <xen-ia64-devel@xxxxxxxxxxxxxxxxxxx> |
|---|---|
| Subject: | [Xen-ia64-devel] Question in vmx_fault.c |
| From: | Tristan Gingold <tgingold@xxxxxxx> |
| Date: | Sun, 30 Sep 2007 17:28:30 +0200 |
| Delivery-date: | Sun, 30 Sep 2007 08:23:04 -0700 |
| Envelope-to: | www-data@xxxxxxxxxxxxxxxxxx |
| List-help: | <mailto:xen-ia64-devel-request@lists.xensource.com?subject=help> |
| List-id: | Discussion of the ia64 port of Xen <xen-ia64-devel.lists.xensource.com> |
| List-post: | <mailto:xen-ia64-devel@lists.xensource.com> |
| List-subscribe: | <http://lists.xensource.com/cgi-bin/mailman/listinfo/xen-ia64-devel>, <mailto:xen-ia64-devel-request@lists.xensource.com?subject=subscribe> |
| List-unsubscribe: | <http://lists.xensource.com/cgi-bin/mailman/listinfo/xen-ia64-devel>, <mailto:xen-ia64-devel-request@lists.xensource.com?subject=unsubscribe> |
| Sender: | xen-ia64-devel-bounces@xxxxxxxxxxxxxxxxxxx |
| User-agent: | Mutt/1.5.9i |
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
|
| <Prev in Thread] | Current Thread | [Next in Thread> |
|---|---|---|
| ||
| Previous by Date: | [Xen-ia64-devel] Question about vmx_ivt.S, Tristan Gingold |
|---|---|
| Previous by Thread: | [Xen-ia64-devel] Question about vmx_ivt.S, Tristan Gingold |
| Indexes: | [Date] [Thread] [Top] [All Lists] |
