{
l4_pgentry_t *l4tab;
- l4tab = map_domain_page(_mfn(pagetable_get_pfn(v->arch.guest_table)));
+ l4tab = map_domain_page(pagetable_get_mfn(v->arch.guest_table));
*l4tab = l4e_from_pfn(page_to_mfn(cr3_page),
_PAGE_PRESENT|_PAGE_RW|_PAGE_USER|_PAGE_ACCESSED);
unmap_domain_page(l4tab);
unsigned int i, index;
int wrc, rc = 0, ret = GUEST_TABLE_MAP_FAILED;
- table = map_domain_page(_mfn(pagetable_get_pfn(p2m_get_pagetable(p2m))));
+ table = map_domain_page(pagetable_get_mfn(p2m_get_pagetable(p2m)));
for ( i = p2m->ept.wl; i > target; --i )
{
ret = ept_next_level(p2m, 1, &table, &gfn_remainder, i);
(target == 0));
ASSERT(!p2m_is_foreign(p2mt) || target == 0);
- table = map_domain_page(_mfn(pagetable_get_pfn(p2m_get_pagetable(p2m))));
+ table = map_domain_page(pagetable_get_mfn(p2m_get_pagetable(p2m)));
ret = GUEST_TABLE_MAP_FAILED;
for ( i = ept->wl; i > target; i-- )
p2m_query_t q, unsigned int *page_order,
bool_t *sve)
{
- ept_entry_t *table = map_domain_page(_mfn(pagetable_get_pfn(p2m_get_pagetable(p2m))));
+ ept_entry_t *table =
+ map_domain_page(pagetable_get_mfn(p2m_get_pagetable(p2m)));
unsigned long gfn = gfn_x(gfn_);
unsigned long gfn_remainder = gfn;
ept_entry_t *ept_entry;
{
struct p2m_domain *p2m = p2m_get_hostp2m(d);
struct ept_data *ept = &p2m->ept;
- ept_entry_t *table = map_domain_page(_mfn(pagetable_get_pfn(p2m_get_pagetable(p2m))));
+ ept_entry_t *table =
+ map_domain_page(pagetable_get_mfn(p2m_get_pagetable(p2m)));
unsigned long gfn_remainder = gfn;
int i;
char c = 0;
gfn_remainder = gfn;
- table = map_domain_page(_mfn(pagetable_get_pfn(p2m_get_pagetable(p2m))));
+ table = map_domain_page(pagetable_get_mfn(p2m_get_pagetable(p2m)));
for ( i = ept->wl; i > 0; i-- )
{
int i;
for ( i = 0; i < 4; i++ )
{
- mfn_t smfn = _mfn(pagetable_get_pfn(v->arch.shadow_table[i]));
+ mfn_t smfn = pagetable_get_mfn(v->arch.shadow_table[i]);
+
if ( mfn_valid(smfn) && (mfn_x(smfn) != 0) )
{
used |= (mfn_to_page(smfn)->v.sh.back == mfn_x(gmfn));
if ( pagetable_is_null(v->arch.shadow_table[i]) )
smfn = INVALID_MFN;
else
- smfn = _mfn(pagetable_get_pfn(v->arch.shadow_table[i]));
+ smfn = pagetable_get_mfn(v->arch.shadow_table[i]);
}
else
{