diff options
Diffstat (limited to 'xen')
-rw-r--r-- | xen/xen.c | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -33,7 +33,7 @@ void hyp_invalidate_pte(pt_entry_t *pte) { if (!hyp_mmu_update_pte(kv_to_ma(pte), (*pte) & ~INTEL_PTE_VALID)) - panic("%s:%d could not set pte %p(%p) to %p(%p)\n",__FILE__,__LINE__,pte,kv_to_ma(pte),*pte,pa_to_ma(*pte)); + panic("%s:%d could not set pte %p(%p) to %p(%p)\n",__FILE__,__LINE__,pte,(vm_offset_t) kv_to_ma(pte),*pte,ma_to_pa(*pte)); hyp_mmuext_op_void(MMUEXT_TLB_FLUSH_LOCAL); } |