Searched refs:SEL4_PRIx_word (Results 1 – 7 of 7) sorted by relevance
| /seL4-master/src/kernel/ |
| A D | boot.c | 71 printf("Can't mark region 0x%"SEL4_PRIx_word"-0x%"SEL4_PRIx_word in reserve_region()
87 printf("Can't mark region 0x%"SEL4_PRIx_word"-0x%"SEL4_PRIx_word in reserve_region()
123 printf("no free memory slot left for [%"SEL4_PRIx_word"..%"SEL4_PRIx_word"]," in insert_region()
648 " [%"SEL4_PRIx_word"..%"SEL4_PRIx_word"] failed\n", in create_untypeds()
664 " [%"SEL4_PRIx_word"..%"SEL4_PRIx_word"] failed\n", in create_untypeds()
673 " [%"SEL4_PRIx_word"..%"SEL4_PRIx_word"] failed\n", in create_untypeds()
684 " [%"SEL4_PRIx_word"..%"SEL4_PRIx_word"] failed\n", in create_untypeds()
730 printf(" [%"SEL4_PRIx_word"..%"SEL4_PRIx_word"]\n", r->start, r->end); in check_available_memory()
763 printf(" [%"SEL4_PRIx_word"..%"SEL4_PRIx_word"]\n", r->start, r->end); in check_reserved_memory()
|
| /seL4-master/src/arch/riscv/kernel/ |
| A D | boot.c | 236 printf("ERROR: DTB location at %"SEL4_PRIx_word in try_init_kernel()
245 printf("ERROR: DTB at [%"SEL4_PRIx_word"..%"SEL4_PRIx_word"] " in try_init_kernel()
246 "exceeds PADDR_TOP (%"SEL4_PRIx_word")\n", in try_init_kernel()
270 printf("ERROR: userland image virt [%"SEL4_PRIx_word"..%"SEL4_PRIx_word"]" in try_init_kernel()
271 "exceeds USER_TOP (%"SEL4_PRIx_word")\n", in try_init_kernel()
|
| /seL4-master/src/arch/arm/kernel/ |
| A D | boot.c | 372 printf("ERROR: DTB location at %"SEL4_PRIx_word in try_init_kernel()
381 printf("ERROR: DTB at [%"SEL4_PRIx_word"..%"SEL4_PRIx_word"] " in try_init_kernel()
382 "exceeds PADDR_TOP (%"SEL4_PRIx_word")\n", in try_init_kernel()
406 printf("ERROR: userland image virt [%"SEL4_PRIx_word"..%"SEL4_PRIx_word"]" in try_init_kernel()
407 "exceeds USER_TOP (%"SEL4_PRIx_word")\n", in try_init_kernel()
|
| /seL4-master/include/ |
| A D | basic_types.h | 32 #define SEL4_PRIx_word _macro_str_concat(_seL4_word_fmt, x) macro
|
| /seL4-master/libsel4/include/sel4/ |
| A D | simple_types.h | 125 #define SEL4_PRIx_word _macro_str_concat(_seL4_word_fmt, x) macro
|
| /seL4-master/src/arch/arm/32/kernel/ |
| A D | vspace.c | 2738 printf("Faulting instruction: 0x%"SEL4_PRIx_word"\n", pc);
2739 printf("HSR: 0x%"SEL4_PRIx_word"\n", getHSR());
2746 printf("Faulting instruction: 0x%"SEL4_PRIx_word"\n", pc);
2747 printf("HDFAR: 0x%"SEL4_PRIx_word" HSR: 0x%"SEL4_PRIx_word"\n",
2755 printf("Faulting instruction: 0x%"SEL4_PRIx_word"\n", pc);
2756 printf("HSR: 0x%"SEL4_PRIx_word"\n", getHSR());
2765 printf("Faulting instruction: 0x%"SEL4_PRIx_word"\n", pc);
2766 printf("IFSR: 0x%"SEL4_PRIx_word"\n", getIFSR());
2773 printf("Faulting instruction: 0x%"SEL4_PRIx_word"\n", pc);
2774 printf("FAR: 0x%"SEL4_PRIx_word" DFSR: 0x%"SEL4_PRIx_word"\n",
|
| /seL4-master/src/arch/arm/64/kernel/ |
| A D | vspace.c | 2435 printf("Faulting instruction: 0x%"SEL4_PRIx_word"\n", pc); in kernelPrefetchAbort()
2436 printf("ESR (IFSR): 0x%"SEL4_PRIx_word"\n", getIFSR()); in kernelPrefetchAbort()
2443 printf("Faulting instruction: 0x%"SEL4_PRIx_word"\n", pc); in kernelDataAbort()
2444 printf("FAR: 0x%"SEL4_PRIx_word" ESR (DFSR): 0x%"SEL4_PRIx_word"\n", in kernelDataAbort()
2509 printf("0x%"SEL4_PRIx_word": 0x%"SEL4_PRIx_word"\n", in Arch_userStackTrace()
2512 printf("0x%"SEL4_PRIx_word": INVALID\n", address); in Arch_userStackTrace()
|
Completed in 19 milliseconds