@@ -129,14 +129,14 @@ static mfn_t alloc_hotadd_mfn(struct mem_hotadd_info *info)
static int m2p_mapped(unsigned long spfn)
{
unsigned long va;
- l3_pgentry_t *l3_ro_mpt;
- l2_pgentry_t *l2_ro_mpt;
+ l3_pgentry_t l3e_ro_mpt;
+ l2_pgentry_t l2e_ro_mpt;
va = RO_MPT_VIRT_START + spfn * sizeof(*machine_to_phys_mapping);
- l3_ro_mpt = l4e_to_l3e(idle_pg_table[l4_table_offset(va)]);
+ l3e_ro_mpt = l3e_from_l4e(idle_pg_table[l4_table_offset(va)],
+ l3_table_offset(va));
- switch ( l3e_get_flags(l3_ro_mpt[l3_table_offset(va)]) &
- (_PAGE_PRESENT |_PAGE_PSE))
+ switch ( l3e_get_flags(l3e_ro_mpt) & (_PAGE_PRESENT | _PAGE_PSE) )
{
case _PAGE_PSE|_PAGE_PRESENT:
return M2P_1G_MAPPED;
@@ -146,9 +146,9 @@ static int m2p_mapped(unsigned long spfn)
default:
return M2P_NO_MAPPED;
}
- l2_ro_mpt = l3e_to_l2e(l3_ro_mpt[l3_table_offset(va)]);
+ l2e_ro_mpt = l2e_from_l3e(l3e_ro_mpt, l2_table_offset(va));
- if (l2e_get_flags(l2_ro_mpt[l2_table_offset(va)]) & _PAGE_PRESENT)
+ if ( l2e_get_flags(l2e_ro_mpt) & _PAGE_PRESENT )
return M2P_2M_MAPPED;
return M2P_NO_MAPPED;