From a060e25bc524d50676aafa960ad4a34058769fba Mon Sep 17 00:00:00 2001 From: Andrew Cooper Date: Sun, 5 Jun 2016 13:28:00 +0100 Subject: [PATCH] Introduce PRI helper definitions for PTEs Signed-off-by: Andrew Cooper --- include/arch/x86/page-pae.h | 1 + include/arch/x86/page-pse.h | 1 + include/arch/x86/page.h | 2 ++ 3 files changed, 4 insertions(+) diff --git a/include/arch/x86/page-pae.h b/include/arch/x86/page-pae.h index a0751ed..fcade43 100644 --- 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 c21fe96..1ffba1e 100644 --- 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 e47dc7e..d5ff270 100644 --- 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) { -- 2.39.5