Searched refs:SEL4_PRIu_word (Results 1 – 7 of 7) sorted by relevance
| /seL4-master/include/ |
| A D | basic_types.h | 31 #define SEL4_PRIu_word _macro_str_concat(_seL4_word_fmt, u) macro
33 #define SEL4_PRI_word SEL4_PRIu_word
|
| /seL4-master/libsel4/include/sel4/ |
| A D | simple_types.h | 124 #define SEL4_PRIu_word _macro_str_concat(_seL4_word_fmt, u) macro
126 #define SEL4_PRI_word SEL4_PRIu_word
|
| /seL4-master/src/kernel/ |
| A D | boot.c | 348 printf("ERROR: can't add another cap, all %"SEL4_PRIu_word in provide_cap()
726 printf("available phys memory regions: %"SEL4_PRIu_word"\n", n_available); in check_available_memory()
734 printf("ERROR: memory region %"SEL4_PRIu_word" has start > end\n", i); in check_available_memory()
740 printf("ERROR: memory region %"SEL4_PRIu_word" empty\n", i); in check_available_memory()
758 printf("reserved virt address space regions: %"SEL4_PRIu_word"\n", in check_reserved_memory()
767 printf("ERROR: reserved region %"SEL4_PRIu_word" has start > end\n", i); in check_reserved_memory()
773 printf("ERROR: reserved region %"SEL4_PRIu_word" in wrong order\n", i); in check_reserved_memory()
928 "objects, need size/alignment of 2^%"SEL4_PRIu_word"\n", max); in init_freemem()
|
| /seL4-master/include/api/ |
| A D | types.h | 129 out_error(ANSI_DARK "<<" ANSI_GREEN "seL4(CPU %" SEL4_PRIu_word ")" \
|
| /seL4-master/src/drivers/timer/ |
| A D | generic_timer.c | 21 printf("Warning: gpt_cntfrq %"SEL4_PRIu_word", expected %llu\n", in initGenericTimer()
|
| /seL4-master/src/arch/riscv/kernel/ |
| A D | boot.c | 237 " len %"SEL4_PRIu_word" invalid\n", in try_init_kernel()
|
| /seL4-master/src/arch/arm/kernel/ |
| A D | boot.c | 373 " len %"SEL4_PRIu_word" invalid\n", in try_init_kernel()
|
Completed in 11 milliseconds