xen-project/xen
1
0 Fork 0
mirror of https://github.com/xen-project/xen.git synced 2026-10-28 02:01:24 +01:00
Code Issues Activity

xen/x86: pv: Convert update_intpte() to use typesafe MFN

Browse Source 
The third parameter of update_intpte() is a MFN, so it can be switched
to use the typesafe.

At the same time, the typesafe is propagated as far as possible without
major modifications.

Signed-off-by: Julien Grall <julien.grall@arm.com>
Reviewed-by: Jan Beulich <jbeulich@suse.com>
This commit is contained in:
Julien Grall committed 2019-08-19 15:15:11 +01:00
1 parent 196dd56cf4
commit 427b9c58f5
4 files changed
+47 -48
Download Patch File Download Diff File Expand all files Collapse all files

No files matched your search

xen/arch/x86/mm.c
+40 -40
View File
@@ -2051,7 +2051,7 @@ void page_unlock(struct page_info *page)
/* Update the L1 entry at pl1e to new value nl1e. */
static int mod_l1_entry(l1_pgentry_t *pl1e, l1_pgentry_t nl1e,
unsigned long gl1mfn, unsigned int cmd,
mfn_t gl1mfn, unsigned int cmd,
struct vcpu *pt_vcpu, struct domain *pg_dom)
{
bool preserve_ad = (cmd == MMU_PT_UPDATE_PRESERVE_AD);
@@ -2159,16 +2159,16 @@ static int mod_l1_entry(l1_pgentry_t *pl1e, l1_pgentry_t nl1e,
}
/* Update the L2 entry at pl2e to new value nl2e. pl2e is within frame pfn. */
/* Update the L2 entry at pl2e to new value nl2e. pl2e is within frame mfn. */
static int mod_l2_entry(l2_pgentry_t *pl2e,
l2_pgentry_t nl2e,
unsigned long pfn,
mfn_t mfn,
int preserve_ad,
struct vcpu *vcpu)
{
l2_pgentry_t ol2e;
struct domain *d = vcpu->domain;
struct page_info *l2pg = mfn_to_page(_mfn(pfn));
struct page_info *l2pg = mfn_to_page(mfn);
unsigned long type = l2pg->u.inuse.type_info;
int rc = 0;
@@ -2195,16 +2195,16 @@ static int mod_l2_entry(l2_pgentry_t *pl2e,
if ( !l2e_has_changed(ol2e, nl2e, ~FASTPATH_FLAG_WHITELIST) )
{
nl2e = adjust_guest_l2e(nl2e, d);
if ( UPDATE_ENTRY(l2, pl2e, ol2e, nl2e, pfn, vcpu, preserve_ad) )
if ( UPDATE_ENTRY(l2, pl2e, ol2e, nl2e, mfn, vcpu, preserve_ad) )
return 0;
return -EBUSY;
}
if ( unlikely((rc = get_page_from_l2e(nl2e, pfn, d, 0)) < 0) )
if ( unlikely((rc = get_page_from_l2e(nl2e, mfn_x(mfn), d, 0)) < 0) )
return rc;
nl2e = adjust_guest_l2e(nl2e, d);
if ( unlikely(!UPDATE_ENTRY(l2, pl2e, ol2e, nl2e, pfn, vcpu,
if ( unlikely(!UPDATE_ENTRY(l2, pl2e, ol2e, nl2e, mfn, vcpu,
preserve_ad)) )
{
ol2e = nl2e;
@@ -2213,21 +2213,21 @@ static int mod_l2_entry(l2_pgentry_t *pl2e,
}
else if ( pv_l1tf_check_l2e(d, nl2e) )
return -ERESTART;
else if ( unlikely(!UPDATE_ENTRY(l2, pl2e, ol2e, nl2e, pfn, vcpu,
else if ( unlikely(!UPDATE_ENTRY(l2, pl2e, ol2e, nl2e, mfn, vcpu,
preserve_ad)) )
{
return -EBUSY;
}
put_page_from_l2e(ol2e, pfn, 0, true);
put_page_from_l2e(ol2e, mfn_x(mfn), 0, true);
return rc;
}
/* Update the L3 entry at pl3e to new value nl3e. pl3e is within frame pfn. */
/* Update the L3 entry at pl3e to new value nl3e. pl3e is within frame mfn. */
static int mod_l3_entry(l3_pgentry_t *pl3e,
l3_pgentry_t nl3e,
unsigned long pfn,
mfn_t mfn,
int preserve_ad,
struct vcpu *vcpu)
{
@@ -2258,17 +2258,17 @@ static int mod_l3_entry(l3_pgentry_t *pl3e,
if ( !l3e_has_changed(ol3e, nl3e, ~FASTPATH_FLAG_WHITELIST) )
{
nl3e = adjust_guest_l3e(nl3e, d);
rc = UPDATE_ENTRY(l3, pl3e, ol3e, nl3e, pfn, vcpu, preserve_ad);
rc = UPDATE_ENTRY(l3, pl3e, ol3e, nl3e, mfn, vcpu, preserve_ad);
return rc ? 0 : -EFAULT;
}
rc = get_page_from_l3e(nl3e, pfn, d, 0);
rc = get_page_from_l3e(nl3e, mfn_x(mfn), d, 0);
if ( unlikely(rc < 0) )
return rc;
rc = 0;
nl3e = adjust_guest_l3e(nl3e, d);
if ( unlikely(!UPDATE_ENTRY(l3, pl3e, ol3e, nl3e, pfn, vcpu,
if ( unlikely(!UPDATE_ENTRY(l3, pl3e, ol3e, nl3e, mfn, vcpu,
preserve_ad)) )
{
ol3e = nl3e;
@@ -2277,7 +2277,7 @@ static int mod_l3_entry(l3_pgentry_t *pl3e,
}
else if ( pv_l1tf_check_l3e(d, nl3e) )
return -ERESTART;
else if ( unlikely(!UPDATE_ENTRY(l3, pl3e, ol3e, nl3e, pfn, vcpu,
else if ( unlikely(!UPDATE_ENTRY(l3, pl3e, ol3e, nl3e, mfn, vcpu,
preserve_ad)) )
{
return -EFAULT;
@@ -2287,14 +2287,14 @@ static int mod_l3_entry(l3_pgentry_t *pl3e,
if ( !create_pae_xen_mappings(d, pl3e) )
BUG();
put_page_from_l3e(ol3e, pfn, 0, 1);
put_page_from_l3e(ol3e, mfn_x(mfn), 0, 1);
return rc;
}
/* Update the L4 entry at pl4e to new value nl4e. pl4e is within frame pfn. */
/* Update the L4 entry at pl4e to new value nl4e. pl4e is within frame mfn. */
static int mod_l4_entry(l4_pgentry_t *pl4e,
l4_pgentry_t nl4e,
unsigned long pfn,
mfn_t mfn,
int preserve_ad,
struct vcpu *vcpu)
{
@@ -2325,17 +2325,17 @@ static int mod_l4_entry(l4_pgentry_t *pl4e,
if ( !l4e_has_changed(ol4e, nl4e, ~FASTPATH_FLAG_WHITELIST) )
{
nl4e = adjust_guest_l4e(nl4e, d);
rc = UPDATE_ENTRY(l4, pl4e, ol4e, nl4e, pfn, vcpu, preserve_ad);
rc = UPDATE_ENTRY(l4, pl4e, ol4e, nl4e, mfn, vcpu, preserve_ad);
return rc ? 0 : -EFAULT;
}
rc = get_page_from_l4e(nl4e, pfn, d, 0);
rc = get_page_from_l4e(nl4e, mfn_x(mfn), d, 0);
if ( unlikely(rc < 0) )
return rc;
rc = 0;
nl4e = adjust_guest_l4e(nl4e, d);
if ( unlikely(!UPDATE_ENTRY(l4, pl4e, ol4e, nl4e, pfn, vcpu,
if ( unlikely(!UPDATE_ENTRY(l4, pl4e, ol4e, nl4e, mfn, vcpu,
preserve_ad)) )
{
ol4e = nl4e;
@@ -2344,13 +2344,13 @@ static int mod_l4_entry(l4_pgentry_t *pl4e,
}
else if ( pv_l1tf_check_l4e(d, nl4e) )
return -ERESTART;
else if ( unlikely(!UPDATE_ENTRY(l4, pl4e, ol4e, nl4e, pfn, vcpu,
else if ( unlikely(!UPDATE_ENTRY(l4, pl4e, ol4e, nl4e, mfn, vcpu,
preserve_ad)) )
{
return -EFAULT;
}
put_page_from_l4e(ol4e, pfn, 0, 1);
put_page_from_l4e(ol4e, mfn_x(mfn), 0, 1);
return rc;
}
#endif /* CONFIG_PV */
@@ -3051,7 +3051,7 @@ int new_guest_cr3(mfn_t mfn)
l4e_from_mfn(mfn,
(_PAGE_PRESENT | _PAGE_RW |
_PAGE_USER | _PAGE_ACCESSED)),
mfn_x(gt_mfn), 0, curr);
gt_mfn, 0, curr);
unmap_domain_page(pl4e);
switch ( rc )
{
@@ -3720,12 +3720,12 @@ long do_mmu_update(
{
struct mmu_update req;
void *va = NULL;
unsigned long gpfn, gmfn, mfn;
unsigned long gpfn, gmfn;
struct page_info *page;
unsigned int cmd, i = 0, done = 0, pt_dom;
struct vcpu *curr = current, *v = curr;
struct domain *d = v->domain, *pt_owner = d, *pg_owner;
mfn_t map_mfn = INVALID_MFN;
mfn_t map_mfn = INVALID_MFN, mfn;
bool sync_guest = false;
uint32_t xsm_needed = 0;
uint32_t xsm_checked = 0;
@@ -3851,14 +3851,14 @@ long do_mmu_update(
break;
}
mfn = mfn_x(page_to_mfn(page));
mfn = page_to_mfn(page);
if ( !mfn_eq(_mfn(mfn), map_mfn) )
if ( !mfn_eq(mfn, map_mfn) )
{
if ( va )
unmap_domain_page(va);
va = map_domain_page(_mfn(mfn));
map_mfn = _mfn(mfn);
va = map_domain_page(mfn);
map_mfn = mfn;
}
va = _p(((unsigned long)va & PAGE_MASK) + (req.ptr & ~PAGE_MASK));
@@ -3894,7 +3894,8 @@ long do_mmu_update(
{
bool local_in_use = false;
if ( pagetable_get_pfn(curr->arch.guest_table) == mfn )
if ( mfn_eq(pagetable_get_mfn(curr->arch.guest_table),
mfn) )
{
local_in_use = true;
get_cpu_info()->root_pgt_changed = true;
@@ -3907,15 +3908,15 @@ long do_mmu_update(
*/
if ( (page->u.inuse.type_info & PGT_count_mask) >
(1 + !!(page->u.inuse.type_info & PGT_pinned) +
(pagetable_get_pfn(curr->arch.guest_table_user) ==
mfn) + local_in_use) )
mfn_eq(pagetable_get_mfn(curr->arch.guest_table_user),
mfn) + local_in_use) )
sync_guest = true;
}
break;
case PGT_writable_page:
perfc_incr(writable_mmu_updates);
if ( paging_write_guest_entry(v, va, req.val, _mfn(mfn)) )
if ( paging_write_guest_entry(v, va, req.val, mfn) )
rc = 0;
break;
}
@@ -3926,7 +3927,7 @@ long do_mmu_update(
else if ( get_page_type(page, PGT_writable_page) )
{
perfc_incr(writable_mmu_updates);
if ( paging_write_guest_entry(v, va, req.val, _mfn(mfn)) )
if ( paging_write_guest_entry(v, va, req.val, mfn) )
rc = 0;
put_page_type(page);
}
@@ -3948,7 +3949,7 @@ long do_mmu_update(
break;
}
mfn = req.ptr >> PAGE_SHIFT;
mfn = maddr_to_mfn(req.ptr);
gpfn = req.val;
xsm_needed |= XSM_MMU_MACHPHYS_UPDATE;
@@ -3960,7 +3961,7 @@ long do_mmu_update(
xsm_checked = xsm_needed;
}
page = get_page_from_mfn(_mfn(mfn), pg_owner);
page = get_page_from_mfn(mfn, pg_owner);
if ( unlikely(!page) )
{
gdprintk(XENLOG_WARNING,
@@ -3969,7 +3970,7 @@ long do_mmu_update(
break;
}
set_gpfn_from_mfn(mfn, gpfn);
set_gpfn_from_mfn(mfn_x(mfn), gpfn);
paging_mark_pfn_dirty(pg_owner, _pfn(gpfn));
put_page(page);
@@ -4225,8 +4226,7 @@ static int __do_update_va_mapping(
goto out;
}
rc = mod_l1_entry(pl1e, val, mfn_x(gl1mfn), MMU_NORMAL_PT_UPDATE, v,
pg_owner);
rc = mod_l1_entry(pl1e, val, gl1mfn, MMU_NORMAL_PT_UPDATE, v, pg_owner);
page_unlock(gl1pg);
put_page(gl1pg);
xen/arch/x86/pv/grant_table.c
+3 -3
View File
@@ -108,7 +108,7 @@ int create_grant_pv_mapping(uint64_t addr, mfn_t frame,
goto out_unlock;
ol1e = *pl1e;
if ( UPDATE_ENTRY(l1, pl1e, ol1e, nl1e, mfn_x(gl1mfn), curr, 0) )
if ( UPDATE_ENTRY(l1, pl1e, ol1e, nl1e, gl1mfn, curr, 0) )
rc = GNTST_okay;
out_unlock:
@@ -165,7 +165,7 @@ static bool steal_linear_address(unsigned long linear, l1_pgentry_t *out)
goto out_unlock;
ol1e = *pl1e;
okay = UPDATE_ENTRY(l1, pl1e, ol1e, l1e_empty(), mfn_x(gl1mfn), curr, 0);
okay = UPDATE_ENTRY(l1, pl1e, ol1e, l1e_empty(), gl1mfn, curr, 0);
if ( okay )
*out = ol1e;
@@ -293,7 +293,7 @@ int replace_grant_pv_mapping(uint64_t addr, mfn_t frame,
"PTE flags %x for %"PRIx64" don't match grant (%x)\n",
l1e_get_flags(ol1e), addr, grant_pte_flags);
if ( UPDATE_ENTRY(l1, pl1e, ol1e, nl1e, mfn_x(gl1mfn), curr, 0) )
if ( UPDATE_ENTRY(l1, pl1e, ol1e, nl1e, gl1mfn, curr, 0) )
rc = GNTST_okay;
out_unlock:
xen/arch/x86/pv/mm.h
+3 -4
View File
@@ -37,15 +37,14 @@ static inline l1_pgentry_t guest_get_eff_l1e(unsigned long linear)
* Returns false for failure (pointer not valid), true for success.
*/
static inline bool update_intpte(intpte_t *p, intpte_t old, intpte_t new,
unsigned long mfn, struct vcpu *v,
bool preserve_ad)
mfn_t mfn, struct vcpu *v, bool preserve_ad)
{
bool rv = true;
#ifndef PTE_UPDATE_WITH_CMPXCHG
if ( !preserve_ad )
{
rv = paging_write_guest_entry(v, p, new, _mfn(mfn));
rv = paging_write_guest_entry(v, p, new, mfn);
}
else
#endif
@@ -59,7 +58,7 @@ static inline bool update_intpte(intpte_t *p, intpte_t old, intpte_t new,
if ( preserve_ad )
_new |= old & (_PAGE_ACCESSED | _PAGE_DIRTY);
rv = paging_cmpxchg_guest_entry(v, p, &t, _new, _mfn(mfn));
rv = paging_cmpxchg_guest_entry(v, p, &t, _new, mfn);
if ( unlikely(rv == 0) )
{
gdprintk(XENLOG_WARNING,
xen/arch/x86/pv/ro-page-fault.c
+1 -1
View File
@@ -197,7 +197,7 @@ static int ptwr_emulated_update(unsigned long addr, intpte_t *p_old,
else
{
ol1e = *pl1e;
if ( !UPDATE_ENTRY(l1, pl1e, ol1e, nl1e, mfn_x(mfn), v, 0) )
if ( !UPDATE_ENTRY(l1, pl1e, ol1e, nl1e, mfn, v, 0) )
BUG();
}
Reference in new issue
xen-project/xen
Block a user
Blocking a user prevents them from interacting with repositories, such as opening or commenting on pull requests or issues. Learn more about blocking a user.

The note is not visible to the blocked user.