The physical address is computed from the machine frame number, so
checking if the physical address is page aligned is pointless.
Furthermore, directly assigned the MFN to the corresponding field in the
entry rather than converting to a physical address and orring the value.
It will avoid to rely on the field position and make the code clearer.
Signed-off-by: Julien Grall <julien.grall@arm.com>
Reviewed-by: Stefano Stabellini <sstabellini@kernel.org>
static lpae_t mfn_to_p2m_entry(unsigned long mfn, unsigned int mattr,
p2m_type_t t, p2m_access_t a)
{
- paddr_t pa = ((paddr_t) mfn) << PAGE_SHIFT;
/*
* sh, xn and write bit will be defined in the following switches
* based on mattr and t.
p2m_set_permission(&e, t, a);
- ASSERT(!(pa & ~PAGE_MASK));
- ASSERT(!(pa & ~PADDR_MASK));
+ ASSERT(!(pfn_to_paddr(mfn) & ~PADDR_MASK));
- e.bits |= pa;
+ e.p2m.base = mfn;
return e;
}