| Message ID | 1469717505-8026-18-git-send-email-julien.grall@arm.com |
|---|---|
| State | Superseded |
| Headers | show |
diff --git a/xen/arch/arm/p2m.c b/xen/arch/arm/p2m.c index ca2f1b0..c93e554 100644 --- a/xen/arch/arm/p2m.c +++ b/xen/arch/arm/p2m.c @@ -57,6 +57,11 @@ static inline bool_t p2m_mapping(lpae_t pte) return p2m_valid(pte) && !pte.p2m.table; } +static inline bool_t p2m_is_superpage(lpae_t pte, unsigned int level) +{ + return (level < 3) && p2m_mapping(pte); +} + static inline void p2m_write_lock(struct p2m_domain *p2m) { write_lock(&p2m->lock);
Use the level and the entry to know whether an entry is a superpage. A superpage can only happen below level 3. Signed-off-by: Julien Grall <julien.grall@arm.com> --- xen/arch/arm/p2m.c | 5 +++++ 1 file changed, 5 insertions(+)