From: Elena Ufimtseva <elena.ufimtseva@oracle.com>
To: Julien Grall <julien.grall@arm.com>
Cc: Kevin Tian <kevin.tian@intel.com>,
sstabellini@kernel.org, Jun Nakajima <jun.nakajima@intel.com>,
George Dunlap <george.dunlap@eu.citrix.com>,
Liu Jinsong <jinsong.liu@alibaba-inc.com>,
Christoph Egger <chegger@amazon.de>, Tim Deegan <tim@xen.org>,
xen-devel@lists.xen.org, Paul Durrant <paul.durrant@citrix.com>,
Jan Beulich <jbeulich@suse.com>,
Andrew Cooper <andrew.cooper3@citrix.com>
Subject: Re: [PATCH v6 03/14] xen: Use a typesafe to define INVALID_MFN
Date: Fri, 8 Jul 2016 15:01:36 -0700 [thread overview]
Message-ID: <20160708220136.GA12597@localhost.localdomain> (raw)
In-Reply-To: <577D01D1.2080000@arm.com>
On Wed, Jul 06, 2016 at 02:04:17PM +0100, Julien Grall wrote:
> (CC Elena).
>
> On 06/07/16 14:01, Julien Grall wrote:
> >Also take the opportunity to convert arch/x86/debug.c to the typesafe
> >mfn and use proper printf format for MFN/GFN when the code around is
> >modified.
> >
> >Signed-off-by: Julien Grall <julien.grall@arm.com>
> >Reviewed-by: Andrew Cooper <andrew.cooper3@citrix.com>
> >Acked-by: Stefano Stabellini <sstabellini@kernel.org>
> >
> >---
> >Cc: Christoph Egger <chegger@amazon.de>
> >Cc: Liu Jinsong <jinsong.liu@alibaba-inc.com>
> >Cc: Jan Beulich <jbeulich@suse.com>
> >Cc: Mukesh Rathor <mukesh.rathor@oracle.com>
>
> I forgot to update the CC list since GDSX maintainership was take over by
> Elena. Sorry for that.
No problem!
>
> >Cc: Paul Durrant <paul.durrant@citrix.com>
> >Cc: Jun Nakajima <jun.nakajima@intel.com>
> >Cc: Kevin Tian <kevin.tian@intel.com>
> >Cc: George Dunlap <george.dunlap@eu.citrix.com>
> >Cc: Tim Deegan <tim@xen.org>
> >
> > Changes in v6:
> > - Add Stefano's acked-by for ARM bits
> > - Use PRI_mfn and PRI_gfn
> > - Remove set of brackets when it is not necessary
> > - Use mfn_add when possible
> > - Add Andrew's reviewed-by
> >
> > Changes in v5:
> > - Patch added
> >---
> > xen/arch/arm/p2m.c | 4 +--
> > xen/arch/x86/cpu/mcheck/mce.c | 2 +-
> > xen/arch/x86/debug.c | 58 +++++++++++++++++++++--------------------
> > xen/arch/x86/hvm/hvm.c | 6 ++---
> > xen/arch/x86/hvm/viridian.c | 12 ++++-----
> > xen/arch/x86/hvm/vmx/vmx.c | 2 +-
> > xen/arch/x86/mm/guest_walk.c | 4 +--
> > xen/arch/x86/mm/hap/hap.c | 4 +--
> > xen/arch/x86/mm/p2m-ept.c | 6 ++---
> > xen/arch/x86/mm/p2m-pod.c | 18 ++++++-------
> > xen/arch/x86/mm/p2m-pt.c | 18 ++++++-------
> > xen/arch/x86/mm/p2m.c | 54 +++++++++++++++++++-------------------
> > xen/arch/x86/mm/paging.c | 12 ++++-----
> > xen/arch/x86/mm/shadow/common.c | 43 +++++++++++++++---------------
> > xen/arch/x86/mm/shadow/multi.c | 36 ++++++++++++-------------
> > xen/common/domain.c | 6 ++---
> > xen/common/grant_table.c | 6 ++---
> > xen/include/xen/mm.h | 2 +-
> > 18 files changed, 147 insertions(+), 146 deletions(-)
> >
> >diff --git a/xen/arch/arm/p2m.c b/xen/arch/arm/p2m.c
> >index 34563bb..d690602 100644
> >--- a/xen/arch/arm/p2m.c
> >+++ b/xen/arch/arm/p2m.c
> >@@ -1461,7 +1461,7 @@ int relinquish_p2m_mapping(struct domain *d)
> > return apply_p2m_changes(d, RELINQUISH,
> > pfn_to_paddr(p2m->lowest_mapped_gfn),
> > pfn_to_paddr(p2m->max_mapped_gfn),
> >- pfn_to_paddr(INVALID_MFN),
> >+ pfn_to_paddr(mfn_x(INVALID_MFN)),
> > MATTR_MEM, 0, p2m_invalid,
> > d->arch.p2m.default_access);
> > }
> >@@ -1476,7 +1476,7 @@ int p2m_cache_flush(struct domain *d, xen_pfn_t start_mfn, xen_pfn_t end_mfn)
> > return apply_p2m_changes(d, CACHEFLUSH,
> > pfn_to_paddr(start_mfn),
> > pfn_to_paddr(end_mfn),
> >- pfn_to_paddr(INVALID_MFN),
> >+ pfn_to_paddr(mfn_x(INVALID_MFN)),
> > MATTR_MEM, 0, p2m_invalid,
> > d->arch.p2m.default_access);
> > }
> >diff --git a/xen/arch/x86/cpu/mcheck/mce.c b/xen/arch/x86/cpu/mcheck/mce.c
> >index edcbe48..2695b0c 100644
> >--- a/xen/arch/x86/cpu/mcheck/mce.c
> >+++ b/xen/arch/x86/cpu/mcheck/mce.c
> >@@ -1455,7 +1455,7 @@ long do_mca(XEN_GUEST_HANDLE_PARAM(xen_mc_t) u_xen_mc)
> > gfn = PFN_DOWN(gaddr);
> > mfn = mfn_x(get_gfn(d, gfn, &t));
> >
> >- if ( mfn == INVALID_MFN )
> >+ if ( mfn == mfn_x(INVALID_MFN) )
> > {
> > put_gfn(d, gfn);
> > put_domain(d);
> >diff --git a/xen/arch/x86/debug.c b/xen/arch/x86/debug.c
> >index 58cae22..9213ea7 100644
> >--- a/xen/arch/x86/debug.c
> >+++ b/xen/arch/x86/debug.c
> >@@ -43,11 +43,11 @@ typedef unsigned long dbgva_t;
> > typedef unsigned char dbgbyte_t;
> >
> > /* Returns: mfn for the given (hvm guest) vaddr */
> >-static unsigned long
> >+static mfn_t
> > dbg_hvm_va2mfn(dbgva_t vaddr, struct domain *dp, int toaddr,
> > unsigned long *gfn)
> > {
> >- unsigned long mfn;
> >+ mfn_t mfn;
> > uint32_t pfec = PFEC_page_present;
> > p2m_type_t gfntype;
> >
> >@@ -60,16 +60,17 @@ dbg_hvm_va2mfn(dbgva_t vaddr, struct domain *dp, int toaddr,
> > return INVALID_MFN;
> > }
> >
> >- mfn = mfn_x(get_gfn(dp, *gfn, &gfntype));
> >+ mfn = get_gfn(dp, *gfn, &gfntype);
> > if ( p2m_is_readonly(gfntype) && toaddr )
> > {
> > DBGP2("kdb:p2m_is_readonly: gfntype:%x\n", gfntype);
> > mfn = INVALID_MFN;
> > }
> > else
> >- DBGP2("X: vaddr:%lx domid:%d mfn:%lx\n", vaddr, dp->domain_id, mfn);
> >+ DBGP2("X: vaddr:%lx domid:%d mfn:%#"PRI_mfn"\n",
> >+ vaddr, dp->domain_id, mfn_x(mfn));
> >
> >- if ( mfn == INVALID_MFN )
> >+ if ( mfn_eq(mfn, INVALID_MFN) )
> > {
> > put_gfn(dp, *gfn);
> > *gfn = INVALID_GFN;
> >@@ -91,7 +92,7 @@ dbg_hvm_va2mfn(dbgva_t vaddr, struct domain *dp, int toaddr,
> > * mode.
> > * Returns: mfn for the given (pv guest) vaddr
> > */
> >-static unsigned long
> >+static mfn_t
> > dbg_pv_va2mfn(dbgva_t vaddr, struct domain *dp, uint64_t pgd3val)
> > {
> > l4_pgentry_t l4e, *l4t;
> >@@ -99,31 +100,31 @@ dbg_pv_va2mfn(dbgva_t vaddr, struct domain *dp, uint64_t pgd3val)
> > l2_pgentry_t l2e, *l2t;
> > l1_pgentry_t l1e, *l1t;
> > unsigned long cr3 = (pgd3val ? pgd3val : dp->vcpu[0]->arch.cr3);
> >- unsigned long mfn = cr3 >> PAGE_SHIFT;
> >+ mfn_t mfn = _mfn(cr3 >> PAGE_SHIFT);
> >
> > DBGP2("vaddr:%lx domid:%d cr3:%lx pgd3:%lx\n", vaddr, dp->domain_id,
> > cr3, pgd3val);
> >
> > if ( pgd3val == 0 )
> > {
> >- l4t = map_domain_page(_mfn(mfn));
> >+ l4t = map_domain_page(mfn);
> > l4e = l4t[l4_table_offset(vaddr)];
> > unmap_domain_page(l4t);
> >- mfn = l4e_get_pfn(l4e);
> >- DBGP2("l4t:%p l4to:%lx l4e:%lx mfn:%lx\n", l4t,
> >- l4_table_offset(vaddr), l4e, mfn);
> >+ mfn = _mfn(l4e_get_pfn(l4e));
> >+ DBGP2("l4t:%p l4to:%lx l4e:%lx mfn:%#"PRI_mfn"\n", l4t,
> >+ l4_table_offset(vaddr), l4e, mfn_x(mfn));
> > if ( !(l4e_get_flags(l4e) & _PAGE_PRESENT) )
> > {
> > DBGP1("l4 PAGE not present. vaddr:%lx cr3:%lx\n", vaddr, cr3);
> > return INVALID_MFN;
> > }
> >
> >- l3t = map_domain_page(_mfn(mfn));
> >+ l3t = map_domain_page(mfn);
> > l3e = l3t[l3_table_offset(vaddr)];
> > unmap_domain_page(l3t);
> >- mfn = l3e_get_pfn(l3e);
> >- DBGP2("l3t:%p l3to:%lx l3e:%lx mfn:%lx\n", l3t,
> >- l3_table_offset(vaddr), l3e, mfn);
> >+ mfn = _mfn(l3e_get_pfn(l3e));
> >+ DBGP2("l3t:%p l3to:%lx l3e:%lx mfn:%#"PRI_mfn"\n", l3t,
> >+ l3_table_offset(vaddr), l3e, mfn_x(mfn));
> > if ( !(l3e_get_flags(l3e) & _PAGE_PRESENT) ||
> > (l3e_get_flags(l3e) & _PAGE_PSE) )
> > {
> >@@ -132,26 +133,26 @@ dbg_pv_va2mfn(dbgva_t vaddr, struct domain *dp, uint64_t pgd3val)
> > }
> > }
> >
> >- l2t = map_domain_page(_mfn(mfn));
> >+ l2t = map_domain_page(mfn);
> > l2e = l2t[l2_table_offset(vaddr)];
> > unmap_domain_page(l2t);
> >- mfn = l2e_get_pfn(l2e);
> >- DBGP2("l2t:%p l2to:%lx l2e:%lx mfn:%lx\n", l2t, l2_table_offset(vaddr),
> >- l2e, mfn);
> >+ mfn = _mfn(l2e_get_pfn(l2e));
> >+ DBGP2("l2t:%p l2to:%lx l2e:%lx mfn:%#"PRI_mfn"\n",
> >+ l2t, l2_table_offset(vaddr), l2e, mfn_x(mfn));
> > if ( !(l2e_get_flags(l2e) & _PAGE_PRESENT) ||
> > (l2e_get_flags(l2e) & _PAGE_PSE) )
> > {
> > DBGP1("l2 PAGE not present. vaddr:%lx cr3:%lx\n", vaddr, cr3);
> > return INVALID_MFN;
> > }
> >- l1t = map_domain_page(_mfn(mfn));
> >+ l1t = map_domain_page(mfn);
> > l1e = l1t[l1_table_offset(vaddr)];
> > unmap_domain_page(l1t);
> >- mfn = l1e_get_pfn(l1e);
> >- DBGP2("l1t:%p l1to:%lx l1e:%lx mfn:%lx\n", l1t, l1_table_offset(vaddr),
> >- l1e, mfn);
> >+ mfn = _mfn(l1e_get_pfn(l1e));
> >+ DBGP2("l1t:%p l1to:%lx l1e:%lx mfn:%#"PRI_mfn"\n", l1t, l1_table_offset(vaddr),
> >+ l1e, mfn_x(mfn));
> >
> >- return mfn_valid(mfn) ? mfn : INVALID_MFN;
> >+ return mfn_valid(mfn_x(mfn)) ? mfn : INVALID_MFN;
> > }
> >
> > /* Returns: number of bytes remaining to be copied */
> >@@ -163,23 +164,24 @@ unsigned int dbg_rw_guest_mem(struct domain *dp, void * __user gaddr,
> > {
> > char *va;
> > unsigned long addr = (unsigned long)gaddr;
> >- unsigned long mfn, gfn = INVALID_GFN, pagecnt;
> >+ mfn_t mfn;
> >+ unsigned long gfn = INVALID_GFN, pagecnt;
> >
> > pagecnt = min_t(long, PAGE_SIZE - (addr & ~PAGE_MASK), len);
> >
> > mfn = (has_hvm_container_domain(dp)
> > ? dbg_hvm_va2mfn(addr, dp, toaddr, &gfn)
> > : dbg_pv_va2mfn(addr, dp, pgd3));
> >- if ( mfn == INVALID_MFN )
> >+ if ( mfn_eq(mfn, INVALID_MFN) )
> > break;
> >
> >- va = map_domain_page(_mfn(mfn));
> >+ va = map_domain_page(mfn);
> > va = va + (addr & (PAGE_SIZE-1));
> >
> > if ( toaddr )
> > {
> > copy_from_user(va, buf, pagecnt); /* va = buf */
> >- paging_mark_dirty(dp, mfn);
> >+ paging_mark_dirty(dp, mfn_x(mfn));
> > }
> > else
> > {
> >diff --git a/xen/arch/x86/hvm/hvm.c b/xen/arch/x86/hvm/hvm.c
> >index c89ab6e..f3faf2e 100644
> >--- a/xen/arch/x86/hvm/hvm.c
> >+++ b/xen/arch/x86/hvm/hvm.c
> >@@ -1796,7 +1796,7 @@ int hvm_hap_nested_page_fault(paddr_t gpa, unsigned long gla,
> > p2m = hostp2m;
> >
> > /* Check access permissions first, then handle faults */
> >- if ( mfn_x(mfn) != INVALID_MFN )
> >+ if ( !mfn_eq(mfn, INVALID_MFN) )
> > {
> > bool_t violation;
> >
> >@@ -5299,8 +5299,8 @@ static int do_altp2m_op(
> > rc = -EINVAL;
> >
> > if ( (gfn_x(vcpu_altp2m(curr).veinfo_gfn) != INVALID_GFN) ||
> >- (mfn_x(get_gfn_query_unlocked(curr->domain,
> >- a.u.enable_notify.gfn, &p2mt)) == INVALID_MFN) )
> >+ mfn_eq(get_gfn_query_unlocked(curr->domain,
> >+ a.u.enable_notify.gfn, &p2mt), INVALID_MFN) )
> > return -EINVAL;
> >
> > vcpu_altp2m(curr).veinfo_gfn = _gfn(a.u.enable_notify.gfn);
> >diff --git a/xen/arch/x86/hvm/viridian.c b/xen/arch/x86/hvm/viridian.c
> >index 8253fd0..1734b7e 100644
> >--- a/xen/arch/x86/hvm/viridian.c
> >+++ b/xen/arch/x86/hvm/viridian.c
> >@@ -195,8 +195,8 @@ static void enable_hypercall_page(struct domain *d)
> > {
> > if ( page )
> > put_page(page);
> >- gdprintk(XENLOG_WARNING, "Bad GMFN %lx (MFN %lx)\n", gmfn,
> >- page ? page_to_mfn(page) : INVALID_MFN);
> >+ gdprintk(XENLOG_WARNING, "Bad GMFN %#"PRI_gfn" (MFN %#"PRI_mfn")\n",
> >+ gmfn, page ? page_to_mfn(page) : mfn_x(INVALID_MFN));
> > return;
> > }
> >
> >@@ -268,8 +268,8 @@ static void initialize_apic_assist(struct vcpu *v)
> > return;
> >
> > fail:
> >- gdprintk(XENLOG_WARNING, "Bad GMFN %lx (MFN %lx)\n", gmfn,
> >- page ? page_to_mfn(page) : INVALID_MFN);
> >+ gdprintk(XENLOG_WARNING, "Bad GMFN %#"PRI_gfn" (MFN %#"PRI_mfn")\n", gmfn,
> >+ page ? page_to_mfn(page) : mfn_x(INVALID_MFN));
> > }
> >
> > static void teardown_apic_assist(struct vcpu *v)
> >@@ -348,8 +348,8 @@ static void update_reference_tsc(struct domain *d, bool_t initialize)
> > {
> > if ( page )
> > put_page(page);
> >- gdprintk(XENLOG_WARNING, "Bad GMFN %lx (MFN %lx)\n", gmfn,
> >- page ? page_to_mfn(page) : INVALID_MFN);
> >+ gdprintk(XENLOG_WARNING, "Bad GMFN %#"PRI_gfn" (MFN %#"PRI_mfn")\n",
> >+ gmfn, page ? page_to_mfn(page) : mfn_x(INVALID_MFN));
> > return;
> > }
> >
> >diff --git a/xen/arch/x86/hvm/vmx/vmx.c b/xen/arch/x86/hvm/vmx/vmx.c
> >index df19579..a061420 100644
> >--- a/xen/arch/x86/hvm/vmx/vmx.c
> >+++ b/xen/arch/x86/hvm/vmx/vmx.c
> >@@ -2025,7 +2025,7 @@ static void vmx_vcpu_update_vmfunc_ve(struct vcpu *v)
> >
> > mfn = get_gfn_query_unlocked(d, gfn_x(vcpu_altp2m(v).veinfo_gfn), &t);
> >
> >- if ( mfn_x(mfn) != INVALID_MFN )
> >+ if ( !mfn_eq(mfn, INVALID_MFN) )
> > __vmwrite(VIRT_EXCEPTION_INFO, mfn_x(mfn) << PAGE_SHIFT);
> > else
> > v->arch.hvm_vmx.secondary_exec_control &=
> >diff --git a/xen/arch/x86/mm/guest_walk.c b/xen/arch/x86/mm/guest_walk.c
> >index e850502..868e909 100644
> >--- a/xen/arch/x86/mm/guest_walk.c
> >+++ b/xen/arch/x86/mm/guest_walk.c
> >@@ -281,7 +281,7 @@ guest_walk_tables(struct vcpu *v, struct p2m_domain *p2m,
> > start = _gfn((gfn_x(start) & ~GUEST_L3_GFN_MASK) +
> > ((va >> PAGE_SHIFT) & GUEST_L3_GFN_MASK));
> > gw->l1e = guest_l1e_from_gfn(start, flags);
> >- gw->l2mfn = gw->l1mfn = _mfn(INVALID_MFN);
> >+ gw->l2mfn = gw->l1mfn = INVALID_MFN;
> > goto set_ad;
> > }
> >
> >@@ -356,7 +356,7 @@ guest_walk_tables(struct vcpu *v, struct p2m_domain *p2m,
> > start = _gfn((gfn_x(start) & ~GUEST_L2_GFN_MASK) +
> > guest_l1_table_offset(va));
> > gw->l1e = guest_l1e_from_gfn(start, flags);
> >- gw->l1mfn = _mfn(INVALID_MFN);
> >+ gw->l1mfn = INVALID_MFN;
> > }
> > else
> > {
> >diff --git a/xen/arch/x86/mm/hap/hap.c b/xen/arch/x86/mm/hap/hap.c
> >index 9c2cd49..3218fa2 100644
> >--- a/xen/arch/x86/mm/hap/hap.c
> >+++ b/xen/arch/x86/mm/hap/hap.c
> >@@ -430,7 +430,7 @@ static mfn_t hap_make_monitor_table(struct vcpu *v)
> > oom:
> > HAP_ERROR("out of memory building monitor pagetable\n");
> > domain_crash(d);
> >- return _mfn(INVALID_MFN);
> >+ return INVALID_MFN;
> > }
> >
> > static void hap_destroy_monitor_table(struct vcpu* v, mfn_t mmfn)
> >@@ -509,7 +509,7 @@ int hap_enable(struct domain *d, u32 mode)
> > }
> >
> > for ( i = 0; i < MAX_EPTP; i++ )
> >- d->arch.altp2m_eptp[i] = INVALID_MFN;
> >+ d->arch.altp2m_eptp[i] = mfn_x(INVALID_MFN);
> >
> > for ( i = 0; i < MAX_ALTP2M; i++ )
> > {
> >diff --git a/xen/arch/x86/mm/p2m-ept.c b/xen/arch/x86/mm/p2m-ept.c
> >index 7166c71..6d03736 100644
> >--- a/xen/arch/x86/mm/p2m-ept.c
> >+++ b/xen/arch/x86/mm/p2m-ept.c
> >@@ -50,7 +50,7 @@ static int atomic_write_ept_entry(ept_entry_t *entryptr, ept_entry_t new,
> > int level)
> > {
> > int rc;
> >- unsigned long oldmfn = INVALID_MFN;
> >+ unsigned long oldmfn = mfn_x(INVALID_MFN);
> > bool_t check_foreign = (new.mfn != entryptr->mfn ||
> > new.sa_p2mt != entryptr->sa_p2mt);
> >
> >@@ -91,7 +91,7 @@ static int atomic_write_ept_entry(ept_entry_t *entryptr, ept_entry_t new,
> >
> > write_atomic(&entryptr->epte, new.epte);
> >
> >- if ( unlikely(oldmfn != INVALID_MFN) )
> >+ if ( unlikely(oldmfn != mfn_x(INVALID_MFN)) )
> > put_page(mfn_to_page(oldmfn));
> >
> > rc = 0;
> >@@ -887,7 +887,7 @@ static mfn_t ept_get_entry(struct p2m_domain *p2m,
> > int i;
> > int ret = 0;
> > bool_t recalc = 0;
> >- mfn_t mfn = _mfn(INVALID_MFN);
> >+ mfn_t mfn = INVALID_MFN;
> > struct ept_data *ept = &p2m->ept;
> >
> > *t = p2m_mmio_dm;
> >diff --git a/xen/arch/x86/mm/p2m-pod.c b/xen/arch/x86/mm/p2m-pod.c
> >index b7ab169..f384589 100644
> >--- a/xen/arch/x86/mm/p2m-pod.c
> >+++ b/xen/arch/x86/mm/p2m-pod.c
> >@@ -559,7 +559,7 @@ p2m_pod_decrease_reservation(struct domain *d,
> > {
> > /* All PoD: Mark the whole region invalid and tell caller
> > * we're done. */
> >- p2m_set_entry(p2m, gpfn, _mfn(INVALID_MFN), order, p2m_invalid,
> >+ p2m_set_entry(p2m, gpfn, INVALID_MFN, order, p2m_invalid,
> > p2m->default_access);
> > p2m->pod.entry_count-=(1<<order);
> > BUG_ON(p2m->pod.entry_count < 0);
> >@@ -602,7 +602,7 @@ p2m_pod_decrease_reservation(struct domain *d,
> > n = 1UL << cur_order;
> > if ( t == p2m_populate_on_demand )
> > {
> >- p2m_set_entry(p2m, gpfn + i, _mfn(INVALID_MFN), cur_order,
> >+ p2m_set_entry(p2m, gpfn + i, INVALID_MFN, cur_order,
> > p2m_invalid, p2m->default_access);
> > p2m->pod.entry_count -= n;
> > BUG_ON(p2m->pod.entry_count < 0);
> >@@ -624,7 +624,7 @@ p2m_pod_decrease_reservation(struct domain *d,
> >
> > page = mfn_to_page(mfn);
> >
> >- p2m_set_entry(p2m, gpfn + i, _mfn(INVALID_MFN), cur_order,
> >+ p2m_set_entry(p2m, gpfn + i, INVALID_MFN, cur_order,
> > p2m_invalid, p2m->default_access);
> > p2m_tlb_flush_sync(p2m);
> > for ( j = 0; j < n; ++j )
> >@@ -671,7 +671,7 @@ void p2m_pod_dump_data(struct domain *d)
> > static int
> > p2m_pod_zero_check_superpage(struct p2m_domain *p2m, unsigned long gfn)
> > {
> >- mfn_t mfn, mfn0 = _mfn(INVALID_MFN);
> >+ mfn_t mfn, mfn0 = INVALID_MFN;
> > p2m_type_t type, type0 = 0;
> > unsigned long * map = NULL;
> > int ret=0, reset = 0;
> >@@ -754,7 +754,7 @@ p2m_pod_zero_check_superpage(struct p2m_domain *p2m, unsigned long gfn)
> > }
> >
> > /* Try to remove the page, restoring old mapping if it fails. */
> >- p2m_set_entry(p2m, gfn, _mfn(INVALID_MFN), PAGE_ORDER_2M,
> >+ p2m_set_entry(p2m, gfn, INVALID_MFN, PAGE_ORDER_2M,
> > p2m_populate_on_demand, p2m->default_access);
> > p2m_tlb_flush_sync(p2m);
> >
> >@@ -871,7 +871,7 @@ p2m_pod_zero_check(struct p2m_domain *p2m, unsigned long *gfns, int count)
> > }
> >
> > /* Try to remove the page, restoring old mapping if it fails. */
> >- p2m_set_entry(p2m, gfns[i], _mfn(INVALID_MFN), PAGE_ORDER_4K,
> >+ p2m_set_entry(p2m, gfns[i], INVALID_MFN, PAGE_ORDER_4K,
> > p2m_populate_on_demand, p2m->default_access);
> >
> > /* See if the page was successfully unmapped. (Allow one refcount
> >@@ -1073,7 +1073,7 @@ p2m_pod_demand_populate(struct p2m_domain *p2m, unsigned long gfn,
> > * NOTE: In a fine-grained p2m locking scenario this operation
> > * may need to promote its locking from gfn->1g superpage
> > */
> >- p2m_set_entry(p2m, gfn_aligned, _mfn(INVALID_MFN), PAGE_ORDER_2M,
> >+ p2m_set_entry(p2m, gfn_aligned, INVALID_MFN, PAGE_ORDER_2M,
> > p2m_populate_on_demand, p2m->default_access);
> > return 0;
> > }
> >@@ -1157,7 +1157,7 @@ remap_and_retry:
> > * need promoting the gfn lock from gfn->2M superpage */
> > gfn_aligned = (gfn>>order)<<order;
> > for(i=0; i<(1<<order); i++)
> >- p2m_set_entry(p2m, gfn_aligned + i, _mfn(INVALID_MFN), PAGE_ORDER_4K,
> >+ p2m_set_entry(p2m, gfn_aligned + i, INVALID_MFN, PAGE_ORDER_4K,
> > p2m_populate_on_demand, p2m->default_access);
> > if ( tb_init_done )
> > {
> >@@ -1215,7 +1215,7 @@ guest_physmap_mark_populate_on_demand(struct domain *d, unsigned long gfn,
> > }
> >
> > /* Now, actually do the two-way mapping */
> >- rc = p2m_set_entry(p2m, gfn, _mfn(INVALID_MFN), order,
> >+ rc = p2m_set_entry(p2m, gfn, INVALID_MFN, order,
> > p2m_populate_on_demand, p2m->default_access);
> > if ( rc == 0 )
> > {
> >diff --git a/xen/arch/x86/mm/p2m-pt.c b/xen/arch/x86/mm/p2m-pt.c
> >index 4980934..2b6e89e 100644
> >--- a/xen/arch/x86/mm/p2m-pt.c
> >+++ b/xen/arch/x86/mm/p2m-pt.c
> >@@ -511,7 +511,7 @@ p2m_pt_set_entry(struct p2m_domain *p2m, unsigned long gfn, mfn_t mfn,
> > * the intermediate one might be).
> > */
> > unsigned int flags, iommu_old_flags = 0;
> >- unsigned long old_mfn = INVALID_MFN;
> >+ unsigned long old_mfn = mfn_x(INVALID_MFN);
> >
> > ASSERT(sve != 0);
> >
> >@@ -764,7 +764,7 @@ p2m_pt_get_entry(struct p2m_domain *p2m, unsigned long gfn,
> > p2m->max_mapped_pfn )
> > break;
> > }
> >- return _mfn(INVALID_MFN);
> >+ return INVALID_MFN;
> > }
> >
> > mfn = pagetable_get_mfn(p2m_get_pagetable(p2m));
> >@@ -777,7 +777,7 @@ p2m_pt_get_entry(struct p2m_domain *p2m, unsigned long gfn,
> > if ( (l4e_get_flags(*l4e) & _PAGE_PRESENT) == 0 )
> > {
> > unmap_domain_page(l4e);
> >- return _mfn(INVALID_MFN);
> >+ return INVALID_MFN;
> > }
> > mfn = _mfn(l4e_get_pfn(*l4e));
> > recalc = needs_recalc(l4, *l4e);
> >@@ -805,7 +805,7 @@ pod_retry_l3:
> > *t = p2m_populate_on_demand;
> > }
> > unmap_domain_page(l3e);
> >- return _mfn(INVALID_MFN);
> >+ return INVALID_MFN;
> > }
> > if ( flags & _PAGE_PSE )
> > {
> >@@ -817,7 +817,7 @@ pod_retry_l3:
> > unmap_domain_page(l3e);
> >
> > ASSERT(mfn_valid(mfn) || !p2m_is_ram(*t));
> >- return (p2m_is_valid(*t)) ? mfn : _mfn(INVALID_MFN);
> >+ return (p2m_is_valid(*t)) ? mfn : INVALID_MFN;
> > }
> >
> > mfn = _mfn(l3e_get_pfn(*l3e));
> >@@ -846,7 +846,7 @@ pod_retry_l2:
> > }
> >
> > unmap_domain_page(l2e);
> >- return _mfn(INVALID_MFN);
> >+ return INVALID_MFN;
> > }
> > if ( flags & _PAGE_PSE )
> > {
> >@@ -856,7 +856,7 @@ pod_retry_l2:
> > unmap_domain_page(l2e);
> >
> > ASSERT(mfn_valid(mfn) || !p2m_is_ram(*t));
> >- return (p2m_is_valid(*t)) ? mfn : _mfn(INVALID_MFN);
> >+ return (p2m_is_valid(*t)) ? mfn : INVALID_MFN;
> > }
> >
> > mfn = _mfn(l2e_get_pfn(*l2e));
> >@@ -885,14 +885,14 @@ pod_retry_l1:
> > }
> >
> > unmap_domain_page(l1e);
> >- return _mfn(INVALID_MFN);
> >+ return INVALID_MFN;
> > }
> > mfn = _mfn(l1e_get_pfn(*l1e));
> > *t = recalc_type(recalc || _needs_recalc(flags), l1t, p2m, gfn);
> > unmap_domain_page(l1e);
> >
> > ASSERT(mfn_valid(mfn) || !p2m_is_ram(*t) || p2m_is_paging(*t));
> >- return (p2m_is_valid(*t) || p2m_is_grant(*t)) ? mfn : _mfn(INVALID_MFN);
> >+ return (p2m_is_valid(*t) || p2m_is_grant(*t)) ? mfn : INVALID_MFN;
> > }
> >
> > static void p2m_pt_change_entry_type_global(struct p2m_domain *p2m,
> >diff --git a/xen/arch/x86/mm/p2m.c b/xen/arch/x86/mm/p2m.c
> >index 6258a5b..b93c8a2 100644
> >--- a/xen/arch/x86/mm/p2m.c
> >+++ b/xen/arch/x86/mm/p2m.c
> >@@ -388,7 +388,7 @@ mfn_t __get_gfn_type_access(struct p2m_domain *p2m, unsigned long gfn,
> > if (unlikely((p2m_is_broken(*t))))
> > {
> > /* Return invalid_mfn to avoid caller's access */
> >- mfn = _mfn(INVALID_MFN);
> >+ mfn = INVALID_MFN;
> > if ( q & P2M_ALLOC )
> > domain_crash(p2m->domain);
> > }
> >@@ -493,8 +493,8 @@ int p2m_set_entry(struct p2m_domain *p2m, unsigned long gfn, mfn_t mfn,
> > rc = set_rc;
> >
> > gfn += 1ul << order;
> >- if ( mfn_x(mfn) != INVALID_MFN )
> >- mfn = _mfn(mfn_x(mfn) + (1ul << order));
> >+ if ( !mfn_eq(mfn, INVALID_MFN) )
> >+ mfn = mfn_add(mfn, 1ul << order);
> > todo -= 1ul << order;
> > }
> >
> >@@ -580,7 +580,7 @@ int p2m_alloc_table(struct p2m_domain *p2m)
> >
> > /* Initialise physmap tables for slot zero. Other code assumes this. */
> > p2m->defer_nested_flush = 1;
> >- rc = p2m_set_entry(p2m, 0, _mfn(INVALID_MFN), PAGE_ORDER_4K,
> >+ rc = p2m_set_entry(p2m, 0, INVALID_MFN, PAGE_ORDER_4K,
> > p2m_invalid, p2m->default_access);
> > p2m->defer_nested_flush = 0;
> > p2m_unlock(p2m);
> >@@ -670,7 +670,7 @@ p2m_remove_page(struct p2m_domain *p2m, unsigned long gfn, unsigned long mfn,
> > ASSERT( !p2m_is_valid(t) || mfn + i == mfn_x(mfn_return) );
> > }
> > }
> >- return p2m_set_entry(p2m, gfn, _mfn(INVALID_MFN), page_order, p2m_invalid,
> >+ return p2m_set_entry(p2m, gfn, INVALID_MFN, page_order, p2m_invalid,
> > p2m->default_access);
> > }
> >
> >@@ -840,7 +840,7 @@ guest_physmap_add_entry(struct domain *d, gfn_t gfn, mfn_t mfn,
> > {
> > gdprintk(XENLOG_WARNING, "Adding bad mfn to p2m map (%#lx -> %#lx)\n",
> > gfn_x(gfn), mfn_x(mfn));
> >- rc = p2m_set_entry(p2m, gfn_x(gfn), _mfn(INVALID_MFN), page_order,
> >+ rc = p2m_set_entry(p2m, gfn_x(gfn), INVALID_MFN, page_order,
> > p2m_invalid, p2m->default_access);
> > if ( rc == 0 )
> > {
> >@@ -1107,7 +1107,7 @@ int clear_mmio_p2m_entry(struct domain *d, unsigned long gfn, mfn_t mfn,
> > }
> >
> > /* Do not use mfn_valid() here as it will usually fail for MMIO pages. */
> >- if ( (INVALID_MFN == mfn_x(actual_mfn)) || (t != p2m_mmio_direct) )
> >+ if ( mfn_eq(actual_mfn, INVALID_MFN) || (t != p2m_mmio_direct) )
> > {
> > gdprintk(XENLOG_ERR,
> > "gfn_to_mfn failed! gfn=%08lx type:%d\n", gfn, t);
> >@@ -1117,7 +1117,7 @@ int clear_mmio_p2m_entry(struct domain *d, unsigned long gfn, mfn_t mfn,
> > gdprintk(XENLOG_WARNING,
> > "no mapping between mfn %08lx and gfn %08lx\n",
> > mfn_x(mfn), gfn);
> >- rc = p2m_set_entry(p2m, gfn, _mfn(INVALID_MFN), order, p2m_invalid,
> >+ rc = p2m_set_entry(p2m, gfn, INVALID_MFN, order, p2m_invalid,
> > p2m->default_access);
> >
> > out:
> >@@ -1146,7 +1146,7 @@ int clear_identity_p2m_entry(struct domain *d, unsigned long gfn)
> > mfn = p2m->get_entry(p2m, gfn, &p2mt, &a, 0, NULL, NULL);
> > if ( p2mt == p2m_mmio_direct && mfn_x(mfn) == gfn )
> > {
> >- ret = p2m_set_entry(p2m, gfn, _mfn(INVALID_MFN), PAGE_ORDER_4K,
> >+ ret = p2m_set_entry(p2m, gfn, INVALID_MFN, PAGE_ORDER_4K,
> > p2m_invalid, p2m->default_access);
> > gfn_unlock(p2m, gfn, 0);
> > }
> >@@ -1316,7 +1316,7 @@ int p2m_mem_paging_evict(struct domain *d, unsigned long gfn)
> > put_page(page);
> >
> > /* Remove mapping from p2m table */
> >- ret = p2m_set_entry(p2m, gfn, _mfn(INVALID_MFN), PAGE_ORDER_4K,
> >+ ret = p2m_set_entry(p2m, gfn, INVALID_MFN, PAGE_ORDER_4K,
> > p2m_ram_paged, a);
> >
> > /* Clear content before returning the page to Xen */
> >@@ -1844,7 +1844,7 @@ long p2m_set_mem_access(struct domain *d, gfn_t gfn, uint32_t nr,
> > if ( altp2m_idx )
> > {
> > if ( altp2m_idx >= MAX_ALTP2M ||
> >- d->arch.altp2m_eptp[altp2m_idx] == INVALID_MFN )
> >+ d->arch.altp2m_eptp[altp2m_idx] == mfn_x(INVALID_MFN) )
> > return -EINVAL;
> >
> > ap2m = d->arch.altp2m_p2m[altp2m_idx];
> >@@ -1942,7 +1942,7 @@ int p2m_get_mem_access(struct domain *d, gfn_t gfn, xenmem_access_t *access)
> > mfn = p2m->get_entry(p2m, gfn_x(gfn), &t, &a, 0, NULL, NULL);
> > gfn_unlock(p2m, gfn, 0);
> >
> >- if ( mfn_x(mfn) == INVALID_MFN )
> >+ if ( mfn_eq(mfn, INVALID_MFN) )
> > return -ESRCH;
> >
> > if ( (unsigned) a >= ARRAY_SIZE(memaccess) )
> >@@ -2288,7 +2288,7 @@ unsigned int p2m_find_altp2m_by_eptp(struct domain *d, uint64_t eptp)
> >
> > for ( i = 0; i < MAX_ALTP2M; i++ )
> > {
> >- if ( d->arch.altp2m_eptp[i] == INVALID_MFN )
> >+ if ( d->arch.altp2m_eptp[i] == mfn_x(INVALID_MFN) )
> > continue;
> >
> > p2m = d->arch.altp2m_p2m[i];
> >@@ -2315,7 +2315,7 @@ bool_t p2m_switch_vcpu_altp2m_by_id(struct vcpu *v, unsigned int idx)
> >
> > altp2m_list_lock(d);
> >
> >- if ( d->arch.altp2m_eptp[idx] != INVALID_MFN )
> >+ if ( d->arch.altp2m_eptp[idx] != mfn_x(INVALID_MFN) )
> > {
> > if ( idx != vcpu_altp2m(v).p2midx )
> > {
> >@@ -2359,14 +2359,14 @@ bool_t p2m_altp2m_lazy_copy(struct vcpu *v, paddr_t gpa,
> > 0, &page_order);
> > __put_gfn(*ap2m, gfn_x(gfn));
> >
> >- if ( mfn_x(mfn) != INVALID_MFN )
> >+ if ( !mfn_eq(mfn, INVALID_MFN) )
> > return 0;
> >
> > mfn = get_gfn_type_access(hp2m, gfn_x(gfn), &p2mt, &p2ma,
> > P2M_ALLOC | P2M_UNSHARE, &page_order);
> > __put_gfn(hp2m, gfn_x(gfn));
> >
> >- if ( mfn_x(mfn) == INVALID_MFN )
> >+ if ( mfn_eq(mfn, INVALID_MFN) )
> > return 0;
> >
> > p2m_lock(*ap2m);
> >@@ -2404,7 +2404,7 @@ void p2m_flush_altp2m(struct domain *d)
> > /* Uninit and reinit ept to force TLB shootdown */
> > ept_p2m_uninit(d->arch.altp2m_p2m[i]);
> > ept_p2m_init(d->arch.altp2m_p2m[i]);
> >- d->arch.altp2m_eptp[i] = INVALID_MFN;
> >+ d->arch.altp2m_eptp[i] = mfn_x(INVALID_MFN);
> > }
> >
> > altp2m_list_unlock(d);
> >@@ -2431,7 +2431,7 @@ int p2m_init_altp2m_by_id(struct domain *d, unsigned int idx)
> >
> > altp2m_list_lock(d);
> >
> >- if ( d->arch.altp2m_eptp[idx] == INVALID_MFN )
> >+ if ( d->arch.altp2m_eptp[idx] == mfn_x(INVALID_MFN) )
> > {
> > p2m_init_altp2m_helper(d, idx);
> > rc = 0;
> >@@ -2450,7 +2450,7 @@ int p2m_init_next_altp2m(struct domain *d, uint16_t *idx)
> >
> > for ( i = 0; i < MAX_ALTP2M; i++ )
> > {
> >- if ( d->arch.altp2m_eptp[i] != INVALID_MFN )
> >+ if ( d->arch.altp2m_eptp[i] != mfn_x(INVALID_MFN) )
> > continue;
> >
> > p2m_init_altp2m_helper(d, i);
> >@@ -2476,7 +2476,7 @@ int p2m_destroy_altp2m_by_id(struct domain *d, unsigned int idx)
> >
> > altp2m_list_lock(d);
> >
> >- if ( d->arch.altp2m_eptp[idx] != INVALID_MFN )
> >+ if ( d->arch.altp2m_eptp[idx] != mfn_x(INVALID_MFN) )
> > {
> > p2m = d->arch.altp2m_p2m[idx];
> >
> >@@ -2486,7 +2486,7 @@ int p2m_destroy_altp2m_by_id(struct domain *d, unsigned int idx)
> > /* Uninit and reinit ept to force TLB shootdown */
> > ept_p2m_uninit(d->arch.altp2m_p2m[idx]);
> > ept_p2m_init(d->arch.altp2m_p2m[idx]);
> >- d->arch.altp2m_eptp[idx] = INVALID_MFN;
> >+ d->arch.altp2m_eptp[idx] = mfn_x(INVALID_MFN);
> > rc = 0;
> > }
> > }
> >@@ -2510,7 +2510,7 @@ int p2m_switch_domain_altp2m_by_id(struct domain *d, unsigned int idx)
> >
> > altp2m_list_lock(d);
> >
> >- if ( d->arch.altp2m_eptp[idx] != INVALID_MFN )
> >+ if ( d->arch.altp2m_eptp[idx] != mfn_x(INVALID_MFN) )
> > {
> > for_each_vcpu( d, v )
> > if ( idx != vcpu_altp2m(v).p2midx )
> >@@ -2541,7 +2541,7 @@ int p2m_change_altp2m_gfn(struct domain *d, unsigned int idx,
> > unsigned int page_order;
> > int rc = -EINVAL;
> >
> >- if ( idx >= MAX_ALTP2M || d->arch.altp2m_eptp[idx] == INVALID_MFN )
> >+ if ( idx >= MAX_ALTP2M || d->arch.altp2m_eptp[idx] == mfn_x(INVALID_MFN) )
> > return rc;
> >
> > hp2m = p2m_get_hostp2m(d);
> >@@ -2636,14 +2636,14 @@ void p2m_altp2m_propagate_change(struct domain *d, gfn_t gfn,
> >
> > for ( i = 0; i < MAX_ALTP2M; i++ )
> > {
> >- if ( d->arch.altp2m_eptp[i] == INVALID_MFN )
> >+ if ( d->arch.altp2m_eptp[i] == mfn_x(INVALID_MFN) )
> > continue;
> >
> > p2m = d->arch.altp2m_p2m[i];
> > m = get_gfn_type_access(p2m, gfn_x(gfn), &t, &a, 0, NULL);
> >
> > /* Check for a dropped page that may impact this altp2m */
> >- if ( mfn_x(mfn) == INVALID_MFN &&
> >+ if ( mfn_eq(mfn, INVALID_MFN) &&
> > gfn_x(gfn) >= p2m->min_remapped_gfn &&
> > gfn_x(gfn) <= p2m->max_remapped_gfn )
> > {
> >@@ -2660,7 +2660,7 @@ void p2m_altp2m_propagate_change(struct domain *d, gfn_t gfn,
> > for ( i = 0; i < MAX_ALTP2M; i++ )
> > {
> > if ( i == last_reset_idx ||
> >- d->arch.altp2m_eptp[i] == INVALID_MFN )
> >+ d->arch.altp2m_eptp[i] == mfn_x(INVALID_MFN) )
> > continue;
> >
> > p2m = d->arch.altp2m_p2m[i];
> >@@ -2672,7 +2672,7 @@ void p2m_altp2m_propagate_change(struct domain *d, gfn_t gfn,
> > goto out;
> > }
> > }
> >- else if ( mfn_x(m) != INVALID_MFN )
> >+ else if ( !mfn_eq(m, INVALID_MFN) )
> > p2m_set_entry(p2m, gfn_x(gfn), mfn, page_order, p2mt, p2ma);
> >
> > __put_gfn(p2m, gfn_x(gfn));
> >diff --git a/xen/arch/x86/mm/paging.c b/xen/arch/x86/mm/paging.c
> >index 8219bb6..107fc8c 100644
> >--- a/xen/arch/x86/mm/paging.c
> >+++ b/xen/arch/x86/mm/paging.c
> >@@ -67,7 +67,7 @@ static mfn_t paging_new_log_dirty_page(struct domain *d)
> > if ( unlikely(page == NULL) )
> > {
> > d->arch.paging.log_dirty.failed_allocs++;
> >- return _mfn(INVALID_MFN);
> >+ return INVALID_MFN;
> > }
> >
> > d->arch.paging.log_dirty.allocs++;
> >@@ -95,7 +95,7 @@ static mfn_t paging_new_log_dirty_node(struct domain *d)
> > int i;
> > mfn_t *node = map_domain_page(mfn);
> > for ( i = 0; i < LOGDIRTY_NODE_ENTRIES; i++ )
> >- node[i] = _mfn(INVALID_MFN);
> >+ node[i] = INVALID_MFN;
> > unmap_domain_page(node);
> > }
> > return mfn;
> >@@ -167,7 +167,7 @@ static int paging_free_log_dirty_bitmap(struct domain *d, int rc)
> >
> > unmap_domain_page(l2);
> > paging_free_log_dirty_page(d, l3[i3]);
> >- l3[i3] = _mfn(INVALID_MFN);
> >+ l3[i3] = INVALID_MFN;
> >
> > if ( i3 < LOGDIRTY_NODE_ENTRIES - 1 && hypercall_preempt_check() )
> > {
> >@@ -182,7 +182,7 @@ static int paging_free_log_dirty_bitmap(struct domain *d, int rc)
> > if ( rc )
> > break;
> > paging_free_log_dirty_page(d, l4[i4]);
> >- l4[i4] = _mfn(INVALID_MFN);
> >+ l4[i4] = INVALID_MFN;
> >
> > if ( i4 < LOGDIRTY_NODE_ENTRIES - 1 && hypercall_preempt_check() )
> > {
> >@@ -198,7 +198,7 @@ static int paging_free_log_dirty_bitmap(struct domain *d, int rc)
> > if ( !rc )
> > {
> > paging_free_log_dirty_page(d, d->arch.paging.log_dirty.top);
> >- d->arch.paging.log_dirty.top = _mfn(INVALID_MFN);
> >+ d->arch.paging.log_dirty.top = INVALID_MFN;
> >
> > ASSERT(d->arch.paging.log_dirty.allocs == 0);
> > d->arch.paging.log_dirty.failed_allocs = 0;
> >@@ -660,7 +660,7 @@ int paging_domain_init(struct domain *d, unsigned int domcr_flags)
> > /* This must be initialized separately from the rest of the
> > * log-dirty init code as that can be called more than once and we
> > * don't want to leak any active log-dirty bitmaps */
> >- d->arch.paging.log_dirty.top = _mfn(INVALID_MFN);
> >+ d->arch.paging.log_dirty.top = INVALID_MFN;
> >
> > /*
> > * Shadow pagetables are the default, but we will use
> >diff --git a/xen/arch/x86/mm/shadow/common.c b/xen/arch/x86/mm/shadow/common.c
> >index 226e32d..1c0b6cd 100644
> >--- a/xen/arch/x86/mm/shadow/common.c
> >+++ b/xen/arch/x86/mm/shadow/common.c
> >@@ -88,10 +88,10 @@ void shadow_vcpu_init(struct vcpu *v)
> >
> > for ( i = 0; i < SHADOW_OOS_PAGES; i++ )
> > {
> >- v->arch.paging.shadow.oos[i] = _mfn(INVALID_MFN);
> >- v->arch.paging.shadow.oos_snapshot[i] = _mfn(INVALID_MFN);
> >+ v->arch.paging.shadow.oos[i] = INVALID_MFN;
> >+ v->arch.paging.shadow.oos_snapshot[i] = INVALID_MFN;
> > for ( j = 0; j < SHADOW_OOS_FIXUPS; j++ )
> >- v->arch.paging.shadow.oos_fixup[i].smfn[j] = _mfn(INVALID_MFN);
> >+ v->arch.paging.shadow.oos_fixup[i].smfn[j] = INVALID_MFN;
> > }
> > #endif
> >
> >@@ -593,12 +593,12 @@ static inline int oos_fixup_flush_gmfn(struct vcpu *v, mfn_t gmfn,
> > int i;
> > for ( i = 0; i < SHADOW_OOS_FIXUPS; i++ )
> > {
> >- if ( mfn_x(fixup->smfn[i]) != INVALID_MFN )
> >+ if ( !mfn_eq(fixup->smfn[i], INVALID_MFN) )
> > {
> > sh_remove_write_access_from_sl1p(d, gmfn,
> > fixup->smfn[i],
> > fixup->off[i]);
> >- fixup->smfn[i] = _mfn(INVALID_MFN);
> >+ fixup->smfn[i] = INVALID_MFN;
> > }
> > }
> >
> >@@ -636,7 +636,7 @@ void oos_fixup_add(struct domain *d, mfn_t gmfn,
> >
> > next = oos_fixup[idx].next;
> >
> >- if ( mfn_x(oos_fixup[idx].smfn[next]) != INVALID_MFN )
> >+ if ( !mfn_eq(oos_fixup[idx].smfn[next], INVALID_MFN) )
> > {
> > TRACE_SHADOW_PATH_FLAG(TRCE_SFLAG_OOS_FIXUP_EVICT);
> >
> >@@ -757,7 +757,7 @@ static void oos_hash_add(struct vcpu *v, mfn_t gmfn)
> > struct oos_fixup fixup = { .next = 0 };
> >
> > for (i = 0; i < SHADOW_OOS_FIXUPS; i++ )
> >- fixup.smfn[i] = _mfn(INVALID_MFN);
> >+ fixup.smfn[i] = INVALID_MFN;
> >
> > idx = mfn_x(gmfn) % SHADOW_OOS_PAGES;
> > oidx = idx;
> >@@ -807,7 +807,7 @@ static void oos_hash_remove(struct domain *d, mfn_t gmfn)
> > idx = (idx + 1) % SHADOW_OOS_PAGES;
> > if ( mfn_x(oos[idx]) == mfn_x(gmfn) )
> > {
> >- oos[idx] = _mfn(INVALID_MFN);
> >+ oos[idx] = INVALID_MFN;
> > return;
> > }
> > }
> >@@ -838,7 +838,6 @@ mfn_t oos_snapshot_lookup(struct domain *d, mfn_t gmfn)
> >
> > SHADOW_ERROR("gmfn %lx was OOS but not in hash table\n", mfn_x(gmfn));
> > BUG();
> >- return _mfn(INVALID_MFN);
Can compiler be unhappy about this?
> > }
> >
> > /* Pull a single guest page back into sync */
> >@@ -862,7 +861,7 @@ void sh_resync(struct domain *d, mfn_t gmfn)
> > if ( mfn_x(oos[idx]) == mfn_x(gmfn) )
> > {
> > _sh_resync(v, gmfn, &oos_fixup[idx], oos_snapshot[idx]);
> >- oos[idx] = _mfn(INVALID_MFN);
> >+ oos[idx] = INVALID_MFN;
> > return;
> > }
> > }
> >@@ -914,7 +913,7 @@ void sh_resync_all(struct vcpu *v, int skip, int this, int others)
> > {
> > /* Write-protect and sync contents */
> > _sh_resync(v, oos[idx], &oos_fixup[idx], oos_snapshot[idx]);
> >- oos[idx] = _mfn(INVALID_MFN);
> >+ oos[idx] = INVALID_MFN;
> > }
> >
> > resync_others:
> >@@ -948,7 +947,7 @@ void sh_resync_all(struct vcpu *v, int skip, int this, int others)
> > {
> > /* Write-protect and sync contents */
> > _sh_resync(other, oos[idx], &oos_fixup[idx], oos_snapshot[idx]);
> >- oos[idx] = _mfn(INVALID_MFN);
> >+ oos[idx] = INVALID_MFN;
> > }
> > }
> > }
> >@@ -1784,7 +1783,7 @@ void *sh_emulate_map_dest(struct vcpu *v, unsigned long vaddr,
> > if ( likely(((vaddr + bytes - 1) & PAGE_MASK) == (vaddr & PAGE_MASK)) )
> > {
> > /* Whole write fits on a single page. */
> >- sh_ctxt->mfn[1] = _mfn(INVALID_MFN);
> >+ sh_ctxt->mfn[1] = INVALID_MFN;
> > map = map_domain_page(sh_ctxt->mfn[0]) + (vaddr & ~PAGE_MASK);
> > }
> > else if ( !is_hvm_domain(d) )
> >@@ -2086,7 +2085,7 @@ mfn_t shadow_hash_lookup(struct domain *d, unsigned long n, unsigned int t)
> > }
> >
> > perfc_incr(shadow_hash_lookup_miss);
> >- return _mfn(INVALID_MFN);
> >+ return INVALID_MFN;
> > }
> >
> > void shadow_hash_insert(struct domain *d, unsigned long n, unsigned int t,
> >@@ -2910,7 +2909,7 @@ void sh_reset_l3_up_pointers(struct vcpu *v)
> > };
> > static const unsigned int callback_mask = SHF_L3_64;
> >
> >- hash_vcpu_foreach(v, callback_mask, callbacks, _mfn(INVALID_MFN));
> >+ hash_vcpu_foreach(v, callback_mask, callbacks, INVALID_MFN);
> > }
> >
> >
> >@@ -2940,7 +2939,7 @@ static void sh_update_paging_modes(struct vcpu *v)
> > #endif /* (SHADOW_OPTIMIZATIONS & SHOPT_VIRTUAL_TLB) */
> >
> > #if (SHADOW_OPTIMIZATIONS & SHOPT_OUT_OF_SYNC)
> >- if ( mfn_x(v->arch.paging.shadow.oos_snapshot[0]) == INVALID_MFN )
> >+ if ( mfn_eq(v->arch.paging.shadow.oos_snapshot[0], INVALID_MFN) )
> > {
> > int i;
> > for(i = 0; i < SHADOW_OOS_PAGES; i++)
> >@@ -3284,7 +3283,7 @@ void shadow_teardown(struct domain *d, int *preempted)
> > if ( mfn_valid(oos_snapshot[i]) )
> > {
> > shadow_free(d, oos_snapshot[i]);
> >- oos_snapshot[i] = _mfn(INVALID_MFN);
> >+ oos_snapshot[i] = INVALID_MFN;
> > }
> > }
> > #endif /* OOS */
> >@@ -3449,7 +3448,7 @@ static int shadow_one_bit_disable(struct domain *d, u32 mode)
> > if ( mfn_valid(oos_snapshot[i]) )
> > {
> > shadow_free(d, oos_snapshot[i]);
> >- oos_snapshot[i] = _mfn(INVALID_MFN);
> >+ oos_snapshot[i] = INVALID_MFN;
> > }
> > }
> > #endif /* OOS */
> >@@ -3744,7 +3743,7 @@ int shadow_track_dirty_vram(struct domain *d,
> > memcpy(dirty_bitmap, dirty_vram->dirty_bitmap, dirty_size);
> > else
> > {
> >- unsigned long map_mfn = INVALID_MFN;
> >+ unsigned long map_mfn = mfn_x(INVALID_MFN);
> > void *map_sl1p = NULL;
> >
> > /* Iterate over VRAM to track dirty bits. */
> >@@ -3754,7 +3753,7 @@ int shadow_track_dirty_vram(struct domain *d,
> > int dirty = 0;
> > paddr_t sl1ma = dirty_vram->sl1ma[i];
> >
> >- if (mfn_x(mfn) == INVALID_MFN)
> >+ if ( !mfn_eq(mfn, INVALID_MFN) )
> > {
> > dirty = 1;
> > }
> >@@ -3830,7 +3829,7 @@ int shadow_track_dirty_vram(struct domain *d,
> > for ( i = begin_pfn; i < end_pfn; i++ )
> > {
> > mfn_t mfn = get_gfn_query_unlocked(d, i, &t);
> >- if ( mfn_x(mfn) != INVALID_MFN )
> >+ if ( !mfn_eq(mfn, INVALID_MFN) )
> > flush_tlb |= sh_remove_write_access(d, mfn, 1, 0);
> > }
> > dirty_vram->last_dirty = -1;
> >@@ -3968,7 +3967,7 @@ void shadow_audit_tables(struct vcpu *v)
> > }
> > }
> >
> >- hash_vcpu_foreach(v, mask, callbacks, _mfn(INVALID_MFN));
> >+ hash_vcpu_foreach(v, mask, callbacks, INVALID_MFN_T);
What is INVALID_MFN_T?
> > }
> >
> > #endif /* Shadow audit */
> >diff --git a/xen/arch/x86/mm/shadow/multi.c b/xen/arch/x86/mm/shadow/multi.c
> >index dfe59a2..f892e2f 100644
> >--- a/xen/arch/x86/mm/shadow/multi.c
> >+++ b/xen/arch/x86/mm/shadow/multi.c
> >@@ -177,7 +177,7 @@ sh_walk_guest_tables(struct vcpu *v, unsigned long va, walk_t *gw,
> > {
> > return guest_walk_tables(v, p2m_get_hostp2m(v->domain), va, gw, pfec,
> > #if GUEST_PAGING_LEVELS == 3 /* PAE */
> >- _mfn(INVALID_MFN),
> >+ INVALID_MFN,
> > v->arch.paging.shadow.gl3e
> > #else /* 32 or 64 */
> > pagetable_get_mfn(v->arch.guest_table),
> >@@ -336,32 +336,32 @@ static void sh_audit_gw(struct vcpu *v, walk_t *gw)
> > if ( mfn_valid(gw->l4mfn)
> > && mfn_valid((smfn = get_shadow_status(d, gw->l4mfn,
> > SH_type_l4_shadow))) )
> >- (void) sh_audit_l4_table(v, smfn, _mfn(INVALID_MFN));
> >+ (void) sh_audit_l4_table(v, smfn, INVALID_MFN);
> > if ( mfn_valid(gw->l3mfn)
> > && mfn_valid((smfn = get_shadow_status(d, gw->l3mfn,
> > SH_type_l3_shadow))) )
> >- (void) sh_audit_l3_table(v, smfn, _mfn(INVALID_MFN));
> >+ (void) sh_audit_l3_table(v, smfn, INVALID_MFN);
> > #endif /* PAE or 64... */
> > if ( mfn_valid(gw->l2mfn) )
> > {
> > if ( mfn_valid((smfn = get_shadow_status(d, gw->l2mfn,
> > SH_type_l2_shadow))) )
> >- (void) sh_audit_l2_table(v, smfn, _mfn(INVALID_MFN));
> >+ (void) sh_audit_l2_table(v, smfn, INVALID_MFN);
> > #if GUEST_PAGING_LEVELS == 3
> > if ( mfn_valid((smfn = get_shadow_status(d, gw->l2mfn,
> > SH_type_l2h_shadow))) )
> >- (void) sh_audit_l2_table(v, smfn, _mfn(INVALID_MFN));
> >+ (void) sh_audit_l2_table(v, smfn, INVALID_MFN);
> > #endif
> > }
> > if ( mfn_valid(gw->l1mfn)
> > && mfn_valid((smfn = get_shadow_status(d, gw->l1mfn,
> > SH_type_l1_shadow))) )
> >- (void) sh_audit_l1_table(v, smfn, _mfn(INVALID_MFN));
> >+ (void) sh_audit_l1_table(v, smfn, INVALID_MFN);
> > else if ( (guest_l2e_get_flags(gw->l2e) & _PAGE_PRESENT)
> > && (guest_l2e_get_flags(gw->l2e) & _PAGE_PSE)
> > && mfn_valid(
> > (smfn = get_fl1_shadow_status(d, guest_l2e_get_gfn(gw->l2e)))) )
> >- (void) sh_audit_fl1_table(v, smfn, _mfn(INVALID_MFN));
> >+ (void) sh_audit_fl1_table(v, smfn, INVALID_MFN);
> > }
> >
> > #else
> >@@ -1752,7 +1752,7 @@ static shadow_l2e_t * shadow_get_and_create_l2e(struct vcpu *v,
> > {
> > #if GUEST_PAGING_LEVELS >= 4 /* 64bit... */
> > struct domain *d = v->domain;
> >- mfn_t sl3mfn = _mfn(INVALID_MFN);
> >+ mfn_t sl3mfn = INVALID_MFN;
> > shadow_l3e_t *sl3e;
> > if ( !mfn_valid(gw->l2mfn) ) return NULL; /* No guest page. */
> > /* Get the l3e */
> >@@ -2158,7 +2158,7 @@ static int validate_gl4e(struct vcpu *v, void *new_ge, mfn_t sl4mfn, void *se)
> > shadow_l4e_t new_sl4e;
> > guest_l4e_t new_gl4e = *(guest_l4e_t *)new_ge;
> > shadow_l4e_t *sl4p = se;
> >- mfn_t sl3mfn = _mfn(INVALID_MFN);
> >+ mfn_t sl3mfn = INVALID_MFN;
> > struct domain *d = v->domain;
> > p2m_type_t p2mt;
> > int result = 0;
> >@@ -2217,7 +2217,7 @@ static int validate_gl3e(struct vcpu *v, void *new_ge, mfn_t sl3mfn, void *se)
> > shadow_l3e_t new_sl3e;
> > guest_l3e_t new_gl3e = *(guest_l3e_t *)new_ge;
> > shadow_l3e_t *sl3p = se;
> >- mfn_t sl2mfn = _mfn(INVALID_MFN);
> >+ mfn_t sl2mfn = INVALID_MFN;
> > p2m_type_t p2mt;
> > int result = 0;
> >
> >@@ -2250,7 +2250,7 @@ static int validate_gl2e(struct vcpu *v, void *new_ge, mfn_t sl2mfn, void *se)
> > shadow_l2e_t new_sl2e;
> > guest_l2e_t new_gl2e = *(guest_l2e_t *)new_ge;
> > shadow_l2e_t *sl2p = se;
> >- mfn_t sl1mfn = _mfn(INVALID_MFN);
> >+ mfn_t sl1mfn = INVALID_MFN;
> > p2m_type_t p2mt;
> > int result = 0;
> >
> >@@ -2608,7 +2608,7 @@ static inline void check_for_early_unshadow(struct vcpu *v, mfn_t gmfn)
> > static inline void reset_early_unshadow(struct vcpu *v)
> > {
> > #if SHADOW_OPTIMIZATIONS & SHOPT_EARLY_UNSHADOW
> >- v->arch.paging.shadow.last_emulated_mfn_for_unshadow = INVALID_MFN;
> >+ v->arch.paging.shadow.last_emulated_mfn_for_unshadow = mfn_x(INVALID_MFN);
> > #endif
> > }
> >
> >@@ -4105,10 +4105,10 @@ sh_update_cr3(struct vcpu *v, int do_locking)
> > ? SH_type_l2h_shadow
> > : SH_type_l2_shadow);
> > else
> >- sh_set_toplevel_shadow(v, i, _mfn(INVALID_MFN), 0);
> >+ sh_set_toplevel_shadow(v, i, INVALID_MFN, 0);
> > }
> > else
> >- sh_set_toplevel_shadow(v, i, _mfn(INVALID_MFN), 0);
> >+ sh_set_toplevel_shadow(v, i, INVALID_MFN, 0);
> > }
> > }
> > #elif GUEST_PAGING_LEVELS == 4
> >@@ -4531,7 +4531,7 @@ static void sh_pagetable_dying(struct vcpu *v, paddr_t gpa)
> >
> > if ( fast_path ) {
> > if ( pagetable_is_null(v->arch.shadow_table[i]) )
> >- smfn = _mfn(INVALID_MFN);
> >+ smfn = INVALID_MFN;
> > else
> > smfn = _mfn(pagetable_get_pfn(v->arch.shadow_table[i]));
> > }
> >@@ -4540,8 +4540,8 @@ static void sh_pagetable_dying(struct vcpu *v, paddr_t gpa)
> > /* retrieving the l2s */
> > gmfn = get_gfn_query_unlocked(d, gfn_x(guest_l3e_get_gfn(gl3e[i])),
> > &p2mt);
> >- smfn = unlikely(mfn_x(gmfn) == INVALID_MFN)
> >- ? _mfn(INVALID_MFN)
> >+ smfn = unlikely(mfn_eq(gmfn, INVALID_MFN))
> >+ ? INVALID_MFN
> > : shadow_hash_lookup(d, mfn_x(gmfn), SH_type_l2_pae_shadow);
> > }
> >
> >@@ -4846,7 +4846,7 @@ int sh_audit_fl1_table(struct vcpu *v, mfn_t sl1mfn, mfn_t x)
> > {
> > guest_l1e_t *gl1e, e;
> > shadow_l1e_t *sl1e;
> >- mfn_t gl1mfn = _mfn(INVALID_MFN);
> >+ mfn_t gl1mfn = INVALID_MFN;
> > int f;
> > int done = 0;
> >
> >diff --git a/xen/common/domain.c b/xen/common/domain.c
> >index 45273d4..42c07ee 100644
> >--- a/xen/common/domain.c
> >+++ b/xen/common/domain.c
> >@@ -117,7 +117,7 @@ static void vcpu_info_reset(struct vcpu *v)
> > v->vcpu_info = ((v->vcpu_id < XEN_LEGACY_MAX_VCPUS)
> > ? (vcpu_info_t *)&shared_info(d, vcpu_info[v->vcpu_id])
> > : &dummy_vcpu_info);
> >- v->vcpu_info_mfn = INVALID_MFN;
> >+ v->vcpu_info_mfn = mfn_x(INVALID_MFN);
> > }
> >
> > struct vcpu *alloc_vcpu(
> >@@ -1141,7 +1141,7 @@ int map_vcpu_info(struct vcpu *v, unsigned long gfn, unsigned offset)
> > if ( offset > (PAGE_SIZE - sizeof(vcpu_info_t)) )
> > return -EINVAL;
> >
> >- if ( v->vcpu_info_mfn != INVALID_MFN )
> >+ if ( v->vcpu_info_mfn != mfn_x(INVALID_MFN) )
> > return -EINVAL;
> >
> > /* Run this command on yourself or on other offline VCPUS. */
> >@@ -1205,7 +1205,7 @@ void unmap_vcpu_info(struct vcpu *v)
> > {
> > unsigned long mfn;
> >
> >- if ( v->vcpu_info_mfn == INVALID_MFN )
> >+ if ( v->vcpu_info_mfn == mfn_x(INVALID_MFN) )
> > return;
> >
> > mfn = v->vcpu_info_mfn;
> >diff --git a/xen/common/grant_table.c b/xen/common/grant_table.c
> >index 3f15543..ecace07 100644
> >--- a/xen/common/grant_table.c
> >+++ b/xen/common/grant_table.c
> >@@ -244,7 +244,7 @@ static int __get_paged_frame(unsigned long gfn, unsigned long *frame, struct pag
> > (readonly) ? P2M_ALLOC : P2M_UNSHARE);
> > if ( !(*page) )
> > {
> >- *frame = INVALID_MFN;
> >+ *frame = mfn_x(INVALID_MFN);
> > if ( p2m_is_shared(p2mt) )
> > return GNTST_eagain;
> > if ( p2m_is_paging(p2mt) )
> >@@ -260,7 +260,7 @@ static int __get_paged_frame(unsigned long gfn, unsigned long *frame, struct pag
> > *page = mfn_valid(*frame) ? mfn_to_page(*frame) : NULL;
> > if ( (!(*page)) || (!get_page(*page, rd)) )
> > {
> >- *frame = INVALID_MFN;
> >+ *frame = mfn_x(INVALID_MFN);
> > *page = NULL;
> > rc = GNTST_bad_page;
> > }
> >@@ -1785,7 +1785,7 @@ gnttab_transfer(
> > p2m_type_t __p2mt;
> > mfn = mfn_x(get_gfn_unshare(d, gop.mfn, &__p2mt));
> > if ( p2m_is_shared(__p2mt) || !p2m_is_valid(__p2mt) )
> >- mfn = INVALID_MFN;
> >+ mfn = mfn_x(INVALID_MFN);
> > }
> > #else
> > mfn = mfn_x(gfn_to_mfn(d, _gfn(gop.mfn)));
> >diff --git a/xen/include/xen/mm.h b/xen/include/xen/mm.h
> >index afbb1a1..7f207ec 100644
> >--- a/xen/include/xen/mm.h
> >+++ b/xen/include/xen/mm.h
> >@@ -55,7 +55,7 @@
> >
> > TYPE_SAFE(unsigned long, mfn);
> > #define PRI_mfn "05lx"
> >-#define INVALID_MFN (~0UL)
> >+#define INVALID_MFN _mfn(~0UL)
> >
> > #ifndef mfn_t
> > #define mfn_t /* Grep fodder: mfn_t, _mfn() and mfn_x() are defined above */
> >
>
> --
> Julien Grall
_______________________________________________
Xen-devel mailing list
Xen-devel@lists.xen.org
https://lists.xen.org/xen-devel
next prev parent reply other threads:[~2016-07-08 22:01 UTC|newest]
Thread overview: 23+ messages / expand[flat|nested] mbox.gz Atom feed top
2016-07-06 13:00 [PATCH v6 00/14] xen/arm: Use the typesafes gfn and mfn Julien Grall
2016-07-06 13:01 ` [PATCH v6 01/14] xen: Use the typesafe mfn and gfn in map_mmio_regions Julien Grall
2016-07-06 13:01 ` [PATCH v6 02/14] xen/passthrough: x86: Use INVALID_GFN rather than INVALID_MFN Julien Grall
2016-07-06 13:01 ` [PATCH v6 03/14] xen: Use a typesafe to define INVALID_MFN Julien Grall
2016-07-06 13:04 ` Julien Grall
2016-07-08 22:01 ` Elena Ufimtseva [this message]
2016-07-08 19:20 ` Andrew Cooper
2016-07-09 0:21 ` Elena Ufimtseva
2016-07-08 19:39 ` Julien Grall
2016-07-06 13:01 ` [PATCH v6 04/14] xen: Use a typesafe to define INVALID_GFN Julien Grall
2016-07-06 13:05 ` Julien Grall
2016-07-08 22:05 ` Elena Ufimtseva
2016-07-06 13:01 ` [PATCH v6 05/14] xen/arm: Rework the interface of p2m_lookup and use typesafe gfn and mfn Julien Grall
2016-07-06 13:01 ` [PATCH v6 06/14] xen/arm: Rework the interface of p2m_cache_flush and use typesafe gfn Julien Grall
2016-07-06 13:01 ` [PATCH v6 07/14] xen/arm: map_regions_rw_cache: Map the region with p2m->default_access Julien Grall
2016-07-06 13:01 ` [PATCH v6 08/14] xen/arm: dom0_build: Remove dead code in allocate_memory Julien Grall
2016-07-06 13:01 ` [PATCH v6 09/14] xen/arm: p2m: Remove unused operation ALLOCATE Julien Grall
2016-07-06 13:01 ` [PATCH v6 10/14] xen/arm: Use the typesafes mfn and gfn in map_dev_mmio_region Julien Grall
2016-07-06 13:01 ` [PATCH v6 11/14] xen/arm: Use the typesafes mfn and gfn in map_regions_rw_cache Julien Grall
2016-07-06 13:01 ` [PATCH v6 12/14] xen/arm: p2m: Introduce helpers to insert and remove mapping Julien Grall
2016-07-11 16:16 ` Julien Grall
2016-07-06 13:01 ` [PATCH v6 13/14] xen/arm: p2m: Use typesafe gfn for {max, lowest}_mapped_gfn Julien Grall
2016-07-06 13:01 ` [PATCH v6 14/14] xen/arm: p2m: Rework the interface of apply_p2m_changes and use typesafe Julien Grall
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=20160708220136.GA12597@localhost.localdomain \
--to=elena.ufimtseva@oracle.com \
--cc=andrew.cooper3@citrix.com \
--cc=chegger@amazon.de \
--cc=george.dunlap@eu.citrix.com \
--cc=jbeulich@suse.com \
--cc=jinsong.liu@alibaba-inc.com \
--cc=julien.grall@arm.com \
--cc=jun.nakajima@intel.com \
--cc=kevin.tian@intel.com \
--cc=paul.durrant@citrix.com \
--cc=sstabellini@kernel.org \
--cc=tim@xen.org \
--cc=xen-devel@lists.xen.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).