unsigned int flush_flags =
FLUSH_TLB | FLUSH_ORDER(2 * PAGETABLE_ORDER);
l2_pgentry_t *l2t;
- mfn_t mfn;
+ mfn_t l2t_mfn;
/* Skip this PTE if there is no change. */
if ( ((l3e_get_pfn(ol3e) & ~(L2_PAGETABLE_ENTRIES *
goto end_of_loop;
}
- mfn = alloc_xen_pagetable_new();
- if ( mfn_eq(mfn, INVALID_MFN) )
+ l2t_mfn = alloc_xen_pagetable_new();
+ if ( mfn_eq(l2t_mfn, INVALID_MFN) )
{
ASSERT(rc == -ENOMEM);
goto out;
}
- l2t = map_xen_pagetable_new(mfn);
+ l2t = map_xen_pagetable_new(l2t_mfn);
for ( i = 0; i < L2_PAGETABLE_ENTRIES; i++ )
l2e_write(l2t + i,
if ( (l3e_get_flags(*pl3e) & _PAGE_PRESENT) &&
(l3e_get_flags(*pl3e) & _PAGE_PSE) )
{
- l3e_write_atomic(pl3e, l3e_from_mfn(mfn, __PAGE_HYPERVISOR));
+ l3e_write_atomic(pl3e,
+ l3e_from_mfn(l2t_mfn, __PAGE_HYPERVISOR));
UNMAP_XEN_PAGETABLE_NEW(l2t);
l2t = NULL;
}
if ( l2t )
{
UNMAP_XEN_PAGETABLE_NEW(l2t);
- free_xen_pagetable_new(mfn);
+ free_xen_pagetable_new(l2t_mfn);
}
}
unsigned int flush_flags =
FLUSH_TLB | FLUSH_ORDER(PAGETABLE_ORDER);
l1_pgentry_t *l1t;
- mfn_t mfn;
+ mfn_t l1t_mfn;
/* Skip this PTE if there is no change. */
if ( (((l2e_get_pfn(*pl2e) & ~(L1_PAGETABLE_ENTRIES - 1)) +
goto check_l3;
}
- mfn = alloc_xen_pagetable_new();
- if ( mfn_eq(mfn, INVALID_MFN) )
+ l1t_mfn = alloc_xen_pagetable_new();
+ if ( mfn_eq(l1t_mfn, INVALID_MFN) )
{
ASSERT(rc == -ENOMEM);
goto out;
}
- l1t = map_xen_pagetable_new(mfn);
+ l1t = map_xen_pagetable_new(l1t_mfn);
for ( i = 0; i < L1_PAGETABLE_ENTRIES; i++ )
l1e_write(&l1t[i],
if ( (l2e_get_flags(*pl2e) & _PAGE_PRESENT) &&
(l2e_get_flags(*pl2e) & _PAGE_PSE) )
{
- l2e_write_atomic(pl2e, l2e_from_mfn(mfn,
+ l2e_write_atomic(pl2e, l2e_from_mfn(l1t_mfn,
__PAGE_HYPERVISOR));
UNMAP_XEN_PAGETABLE_NEW(l1t);
l1t = NULL;
if ( l1t )
{
UNMAP_XEN_PAGETABLE_NEW(l1t);
- free_xen_pagetable_new(mfn);
+ free_xen_pagetable_new(l1t_mfn);
}
}