Hi Sergej,

On 06/27/2017 12:52 PM, Sergej Proskurin wrote:
This commit introduces a new helper that checks whether the target PTE
holds a page mapping or not. This helper will be used as part of the
following commits.

Signed-off-by: Sergej Proskurin <prosku...@sec.in.tum.de>

Reviewed-by: Julien Grall <julien.gr...@arm.com>

Cheers,

---
Cc: Stefano Stabellini <sstabell...@kernel.org>
Cc: Julien Grall <julien.gr...@arm.com>
---
  xen/include/asm-arm/lpae.h | 5 +++++
  1 file changed, 5 insertions(+)

diff --git a/xen/include/asm-arm/lpae.h b/xen/include/asm-arm/lpae.h
index 2f7891ed0b..20565d2c8a 100644
--- a/xen/include/asm-arm/lpae.h
+++ b/xen/include/asm-arm/lpae.h
@@ -153,6 +153,11 @@ static inline bool lpae_is_superpage(lpae_t pte, unsigned 
int level)
      return (level < 3) && lpae_mapping(pte);
  }
+static inline bool lpae_page(lpae_t pte, unsigned int level)
+{
+    return (level == 3) && lpae_valid(pte) && pte.walk.table;
+}
+
  /*
   * The ARMv8 architecture supports pages with different sizes (4K, 16K, and
   * 64K). To enable guest page table walks for various configurations, the


--
Julien Grall

_______________________________________________
Xen-devel mailing list
Xen-devel@lists.xen.org
https://lists.xen.org/xen-devel

Reply via email to