/seL4-refos-master/seL4_tools/elfloader-tool/src/ |
H A D | defaults.c | 11 #include <printf.h> 15 printf("abort() called.\n");
|
/seL4-refos-master/tools/elfloader/src/ |
H A D | defaults.c | 11 #include <printf.h> 15 printf("abort() called.\n");
|
/seL4-refos-master/libs/libplatsupport/src/plat/pc99/acpi/ |
H A D | browser.c | 33 printf("reading table at %p\n", table); 38 printf("\n"); 44 printf("Root System Descriptor table Pointer\n"); 49 printf("\n"); 50 printf("a - RSDT at %p\n", vector[0]); 51 printf("b - XSDT at %p\n", vector[1]); 55 printf("Root System Descriptor Table\n"); 58 printf("\n"); 66 printf("%c - %s table at %p\n", i + 'a', sig, vector[i]); 73 printf("eXtende [all...] |
H A D | printer.c | 42 printf("\033[01;31m"); 51 printf("\033[01;29m"); 60 printf("\033[01;28m"); 85 printf("0x%p: ", row_start); 90 printf(" "); 93 printf("%02x ", (*ptr++) & 0xff); 94 printf("\033[00m"); 97 printf(" "); 103 printf("%c", pprint(*ptr++)); 105 printf("\ [all...] |
/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/pc99/acpi/ |
H A D | browser.c | 33 printf("reading table at %p\n", table); 38 printf("\n"); 44 printf("Root System Descriptor table Pointer\n"); 49 printf("\n"); 50 printf("a - RSDT at %p\n", vector[0]); 51 printf("b - XSDT at %p\n", vector[1]); 55 printf("Root System Descriptor Table\n"); 58 printf("\n"); 66 printf("%c - %s table at %p\n", i + 'a', sig, vector[i]); 73 printf("eXtende [all...] |
H A D | printer.c | 42 printf("\033[01;31m"); 51 printf("\033[01;29m"); 60 printf("\033[01;28m"); 85 printf("0x%p: ", row_start); 90 printf(" "); 93 printf("%02x ", (*ptr++) & 0xff); 94 printf("\033[00m"); 97 printf(" "); 103 printf("%c", pprint(*ptr++)); 105 printf("\ [all...] |
/seL4-refos-master/kernel/include/api/ |
H A D | debug.h | 22 printf("\nKernel entry via "); 25 printf("Interrupt, irq %lu\n", (unsigned long) ksKernelEntry.word); 28 printf("Unknown syscall, word: %lu", (unsigned long) ksKernelEntry.word); 31 printf("VM Fault, fault type: %lu\n", (unsigned long) ksKernelEntry.word); 34 printf("User level fault, number: %lu", (unsigned long) ksKernelEntry.word); 38 printf("Debug fault. Fault Vaddr: 0x%lx", (unsigned long) ksKernelEntry.word); 42 printf("Syscall, number: %ld, %s\n", (long) ksKernelEntry.syscall_no, syscall_names[ksKernelEntry.syscall_no]); 47 printf("Cap type: %lu, Invocation tag: %lu\n", (unsigned long) ksKernelEntry.cap_type, 53 printf("VCPUFault\n"); 58 printf("VMExi [all...] |
/seL4-refos-master/libs/libsel4debug/src/ |
H A D | bootinfo.c | 24 printf("Node %lu of %lu\n", (long)info->nodeID, (long)info->numNodes); 25 printf("IOPT levels: %u\n", (int)info->numIOPTLevels); 26 printf("IPC buffer: %p\n", info->ipcBuffer); 27 printf("Empty slots: [%lu --> %lu)\n", (long)info->empty.start, (long)info->empty.end); 28 printf("sharedFrames: [%lu --> %lu)\n", (long)info->sharedFrames.start, (long)info->sharedFrames.end); 29 printf("userImageFrames: [%lu --> %lu)\n", (long)info->userImageFrames.start, (long)info->userImageFrames.end); 30 printf("userImagePaging: [%lu --> %lu)\n", (long)info->userImagePaging.start, (long)info->userImagePaging.end); 31 printf("untypeds: [%lu --> %lu)\n", (long)info->untyped.start, (long)info->untyped.end); 32 printf("Initial thread domain: %u\n", (int)info->initThreadDomain); 33 printf("Initia [all...] |
/seL4-refos-master/projects/seL4_libs/libsel4debug/src/ |
H A D | bootinfo.c | 24 printf("Node %lu of %lu\n", (long)info->nodeID, (long)info->numNodes); 25 printf("IOPT levels: %u\n", (int)info->numIOPTLevels); 26 printf("IPC buffer: %p\n", info->ipcBuffer); 27 printf("Empty slots: [%lu --> %lu)\n", (long)info->empty.start, (long)info->empty.end); 28 printf("sharedFrames: [%lu --> %lu)\n", (long)info->sharedFrames.start, (long)info->sharedFrames.end); 29 printf("userImageFrames: [%lu --> %lu)\n", (long)info->userImageFrames.start, (long)info->userImageFrames.end); 30 printf("userImagePaging: [%lu --> %lu)\n", (long)info->userImagePaging.start, (long)info->userImagePaging.end); 31 printf("untypeds: [%lu --> %lu)\n", (long)info->untyped.start, (long)info->untyped.end); 32 printf("Initial thread domain: %u\n", (int)info->initThreadDomain); 33 printf("Initia [all...] |
/seL4-refos-master/seL4_tools/elfloader-tool/include/ |
H A D | printf.h | 12 int printf(const char *format, ...);
|
/seL4-refos-master/seL4_tools/elfloader-tool/src/arch-arm/64/ |
H A D | debug.c | 9 #include <printf.h> 14 printf(#_r": %lx\n", val); \ 19 printf("ELF-LOADER: Invalid exception received!\n"); 25 printf("ELF-LOADER: Synchronous exception received:\n");
|
/seL4-refos-master/tools/elfloader/include/ |
H A D | printf.h | 12 int printf(const char *format, ...);
|
/seL4-refos-master/tools/elfloader/src/arch-arm/64/ |
H A D | debug.c | 9 #include <printf.h> 14 printf(#_r": %lx\n", val); \ 19 printf("ELF-LOADER: Invalid exception received!\n"); 25 printf("ELF-LOADER: Synchronous exception received:\n");
|
/seL4-refos-master/kernel/include/arch/arm/arch/machine/ |
H A D | capdl.h | 14 printf("(armiospace: %lu)\n", (long unsigned int)cap_io_space_cap_get_capModuleID(iospace_cap)); 20 printf("(asid_high: 0x%lx)\n", (long unsigned int)ASID_HIGH(cap_asid_pool_cap_get_capASIDBase(asid_cap)));
|
/seL4-refos-master/projects/util_libs/libethdrivers/src/ |
H A D | debug.h | 83 #define set_colour(x) printf(x); 89 printf("\n"); \ 102 printf("%02x", *mac++); 104 printf(":%02x", *mac++); 117 case 0x0806: printf("ARP"); break; 118 case 0x0800: printf(" IP"); break; 119 default: printf("UNKNOWN"); 121 printf(" (0x%04x)", type); 130 printf("%d", val); 136 printf(" ds [all...] |
/seL4-refos-master/kernel/src/arch/x86/api/ |
H A D | faults.c | 74 printf("\n========== KERNEL EXCEPTION ==========\n"); 75 printf("Vector: 0x%lx\n", vector); 76 printf("ErrCode: 0x%lx\n", errcode); 77 printf("IP: 0x%lx\n", ip); 78 printf("SP: 0x%lx\n", sp); 79 printf("FLAGS: 0x%lx\n", flags); 80 printf("CR0: 0x%lx\n", cr0); 81 printf("CR2: 0x%lx (page-fault address)\n", cr2); 82 printf("CR3: 0x%lx (page-directory physical address)\n", cr3); 83 printf("CR [all...] |
/seL4-refos-master/projects/refos/impl/apps/terminal/src/ |
H A D | terminal.c | 52 printf(" ______ ______ ______ ______ ______ \n" 67 printf("RefOS Terminal Help:\n" 97 printf("exec: missing parameter.\n"); 105 printf("-terminal: %s: application not found\n", args[1]); 119 printf("%s", TERMINAL_CLEAR_SCREEN); 128 printf("Raw epoch time is %llu\n", (uint64_t) rawTime); 129 printf("Current GMT time is %s", refos_print_time(gmtTime)); 130 printf("Current local time (%s) is %s", getenv("TZ"), refos_print_time(localTime)); 133 printf("%s\n", __environ[i]); 140 printf("seten [all...] |
/seL4-refos-master/apps/terminal/src/ |
H A D | terminal.c | 52 printf(" ______ ______ ______ ______ ______ \n" 67 printf("RefOS Terminal Help:\n" 97 printf("exec: missing parameter.\n"); 105 printf("-terminal: %s: application not found\n", args[1]); 119 printf("%s", TERMINAL_CLEAR_SCREEN); 128 printf("Raw epoch time is %llu\n", (uint64_t) rawTime); 129 printf("Current GMT time is %s", refos_print_time(gmtTime)); 130 printf("Current local time (%s) is %s", getenv("TZ"), refos_print_time(localTime)); 133 printf("%s\n", __environ[i]); 140 printf("seten [all...] |
/seL4-refos-master/kernel/src/arch/x86/machine/ |
H A D | capdl.c | 17 printf("(ports: (%lu, %lu))\n", 26 printf("(domain_id: %lu, pci_device: %lu)\n", 33 printf("(level: %lu)\n", (long unsigned int)cap_io_page_table_cap_get_capIOPTLevel(iopt_cap));
|
/seL4-refos-master/kernel/src/arch/x86/ |
H A D | idle.c | 24 printf("halting...");
|
/seL4-refos-master/seL4_tools/elfloader-tool/src/arch-arm/ |
H A D | sys_boot.c | 12 #include <printf.h> 79 printf("relocating from %p-%p to %p-%p... size=0x%x (padded size = 0x%x)\n", start, end, new_base, new_base + size, 87 printf("The ELF loader does not support relocating itself. You probably need to move the kernel window higher, or the load address lower.\n"); 114 printf("Bootloader did not supply a valid device tree!\n"); 125 printf("Unable to exit UEFI boot services!\n"); 134 printf("\nELF-loader started on "); 137 printf(" paddr=[%p..%p]\n", _text, _end - 1); 144 printf(" dtb=%p\n", dtb); 146 printf("No DTB passed in from boot loader.\n"); 152 printf("N [all...] |
/seL4-refos-master/tools/elfloader/src/arch-arm/ |
H A D | sys_boot.c | 12 #include <printf.h> 79 printf("relocating from %p-%p to %p-%p... size=0x%x (padded size = 0x%x)\n", start, end, new_base, new_base + size, 87 printf("The ELF loader does not support relocating itself. You probably need to move the kernel window higher, or the load address lower.\n"); 114 printf("Bootloader did not supply a valid device tree!\n"); 125 printf("Unable to exit UEFI boot services!\n"); 134 printf("\nELF-loader started on "); 137 printf(" paddr=[%p..%p]\n", _text, _end - 1); 144 printf(" dtb=%p\n", dtb); 146 printf("No DTB passed in from boot loader.\n"); 152 printf("N [all...] |
/seL4-refos-master/kernel/src/arch/riscv/ |
H A D | idle.c | 22 printf("halting...");
|
/seL4-refos-master/kernel/src/arch/arm/64/machine/ |
H A D | capdl.c | 78 printf("("); 86 printf("R"); 89 printf("W"); 92 printf("RW"); 98 printf("RW"); 102 printf("R"); 109 printf("X"); 114 printf(", uncached"); 117 printf(")\n"); 130 printf("frame [all...] |
/seL4-refos-master/projects/seL4_libs/libsel4test/src/ |
H A D | testutil.c | 35 /* is the buffer currently enabled? otherwise just printf */ 41 #undef printf macro 45 printf("%s", string); 57 /* only enable the printf buffer if we are buffering output */ 68 printf("\t\t<system-out>%s</system-out>\n", current_stdout_bank); 77 printf("\t\t<error>%s at line %d of file %s</error>\n", error, line, file); 79 printf("\tError: %s at line %d of file %s\n", error, line, file); 87 printf("\t\t<failure type=\"failure\">%s at line %d of file %s</failure>\n", failure, line, file); 89 printf("\tFailure: %s at line %d of file %s\n", failure, line, file); 97 printf("\ [all...] |