@@ -1169,8 +1169,8 @@ static int range_map(void *virt, uintptr_t phys, size_t size,
1169
1169
{
1170
1170
int ret = 0 , ret2 ;
1171
1171
1172
- LOG_DBG ("%s: %p -> %p (%zu) flags " PRI_ENTRY " mask "
1173
- PRI_ENTRY " opt 0x%x" , __func__ , ( void * ) phys , virt , size ,
1172
+ LOG_DBG ("%s: 0x%" PRIxPTR " -> %p (%zu) flags " PRI_ENTRY " mask "
1173
+ PRI_ENTRY " opt 0x%x" , __func__ , phys , virt , size ,
1174
1174
entry_flags , mask , options );
1175
1175
1176
1176
#ifdef CONFIG_X86_64
@@ -1781,8 +1781,8 @@ static inline int apply_region(pentry_t *ptables, void *start,
1781
1781
__pinned_func
1782
1782
static void set_stack_perms (struct k_thread * thread , pentry_t * ptables )
1783
1783
{
1784
- LOG_DBG ("update stack for thread %p's ptables at %p: %p (size %zu)" ,
1785
- thread , ptables , ( void * ) thread -> stack_info .start ,
1784
+ LOG_DBG ("update stack for thread %p's ptables at %p: 0x%" PRIxPTR " (size %zu)" ,
1785
+ thread , ptables , thread -> stack_info .start ,
1786
1786
thread -> stack_info .size );
1787
1787
apply_region (ptables , (void * )thread -> stack_info .start ,
1788
1788
thread -> stack_info .size ,
@@ -1929,8 +1929,8 @@ int arch_mem_domain_thread_add(struct k_thread *thread)
1929
1929
}
1930
1930
1931
1931
thread -> arch .ptables = z_mem_phys_addr (domain -> arch .ptables );
1932
- LOG_DBG ("set thread %p page tables to %p" , thread ,
1933
- ( void * ) thread -> arch .ptables );
1932
+ LOG_DBG ("set thread %p page tables to 0x%" PRIxPTR , thread ,
1933
+ thread -> arch .ptables );
1934
1934
1935
1935
/* Check if we're doing a migration from a different memory domain
1936
1936
* and have to remove permissions from its old domain.
0 commit comments