for ( i = 0; i < L1_PAGETABLE_ENTRIES; i++ )
{
- if ( is_guest_l1_slot(i) )
- switch ( ret = get_page_from_l1e(pl1e[i], d, d) )
- {
- default:
- goto fail;
- case 0:
- break;
- case _PAGE_RW ... _PAGE_RW | PAGE_CACHE_ATTRS:
- ASSERT(!(ret & ~(_PAGE_RW | PAGE_CACHE_ATTRS)));
- l1e_flip_flags(pl1e[i], ret);
- break;
- }
+ switch ( ret = get_page_from_l1e(pl1e[i], d, d) )
+ {
+ default:
+ goto fail;
+ case 0:
+ break;
+ case _PAGE_RW ... _PAGE_RW | PAGE_CACHE_ATTRS:
+ ASSERT(!(ret & ~(_PAGE_RW | PAGE_CACHE_ATTRS)));
+ l1e_flip_flags(pl1e[i], ret);
+ break;
+ }
adjust_guest_l1e(pl1e[i], d);
}
fail:
gdprintk(XENLOG_WARNING, "Failure in alloc_l1_table: slot %#x\n", i);
while ( i-- > 0 )
- if ( is_guest_l1_slot(i) )
- put_page_from_l1e(pl1e[i], d);
+ put_page_from_l1e(pl1e[i], d);
unmap_domain_page(pl1e);
return ret;
pl1e = map_domain_page(_mfn(pfn));
for ( i = 0; i < L1_PAGETABLE_ENTRIES; i++ )
- if ( is_guest_l1_slot(i) )
- put_page_from_l1e(pl1e[i], d);
+ put_page_from_l1e(pl1e[i], d);
unmap_domain_page(pl1e);
}
#define l3_linear_offset(_a) (((_a) & VADDR_MASK) >> L3_PAGETABLE_SHIFT)
#define l4_linear_offset(_a) (((_a) & VADDR_MASK) >> L4_PAGETABLE_SHIFT)
-#define is_guest_l1_slot(_s) (1)
#define is_guest_l2_slot(_d, _t, _s) \
( !is_pv_32bit_domain(_d) || \
!((_t) & PGT_pae_xen_l2) || \