Introduce PRI helper definitions for PTEs

Signed-off-by: Andrew Cooper <andrew.cooper3@citrix.com>

diff --git a/include/arch/x86/page-pae.h b/include/arch/x86/page-pae.h
index a0751ed125dceea7b847672ef535945796ca22b5..fcade43b06093d29ae7daea31ff62975a8a5826d 100644 (file)
--- a/include/arch/x86/page-pae.h
+++ b/include/arch/x86/page-pae.h
@@ -32,6 +32,7 @@
 
 /** Integer representation of a PTE. */
 typedef uint64_t pae_intpte_t;
+#define PAE_PRIpte "016"PRIx64
 
 static inline unsigned int pae_l1_table_offset(unsigned long va)
 {

diff --git a/include/arch/x86/page-pse.h b/include/arch/x86/page-pse.h
index c21fe96df55048d054e8e4cae3547aa977af2948..1ffba1ec4d59f2776189140ed9a9f105eca26b4b 100644 (file)
--- a/include/arch/x86/page-pse.h
+++ b/include/arch/x86/page-pse.h
@@ -25,6 +25,7 @@
 
 /** Integer representation of a PTE. */
 typedef uint32_t pse_intpte_t;
+#define PSE_PRIpte "08"PRIx32
 
 static inline unsigned int pse_l1_table_offset(unsigned long va)
 {

diff --git a/include/arch/x86/page.h b/include/arch/x86/page.h
index e47dc7efbf69bc6bbce90113e358d925f77a3b90..d5ff2708b79bac0305d5a960c0580ec283ba9691 100644 (file)
--- a/include/arch/x86/page.h
+++ b/include/arch/x86/page.h
@@ -78,6 +78,7 @@
 #if CONFIG_PAGING_LEVELS == 2 /* PSE Paging */
 
 typedef pse_intpte_t intpte_t;
+#define PRIpte PSE_PRIpte
 
 static inline unsigned int l1_table_offset(unsigned long va)
 {
@@ -91,6 +92,7 @@ static inline unsigned int l2_table_offset(unsigned long va)
 #else /* CONFIG_PAGING_LEVELS == 2 */ /* PAE Paging */
 
 typedef pae_intpte_t intpte_t;
+#define PRIpte PAE_PRIpte
 
 static inline unsigned int l1_table_offset(unsigned long va)
 {