Searched refs:printf (Results 1 - 25 of 292) sorted by relevance

1234567891011>>

/seL4-refos-master/seL4_tools/elfloader-tool/src/
H A Ddefaults.c11 #include <printf.h>
15 printf("abort() called.\n");
/seL4-refos-master/tools/elfloader/src/
H A Ddefaults.c11 #include <printf.h>
15 printf("abort() called.\n");
/seL4-refos-master/libs/libplatsupport/src/plat/pc99/acpi/
H A Dbrowser.c33 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 Dprinter.c42 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 Dbrowser.c33 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 Dprinter.c42 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 Ddebug.h22 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 Dbootinfo.c24 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 Dbootinfo.c24 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 Dprintf.h12 int printf(const char *format, ...);
/seL4-refos-master/seL4_tools/elfloader-tool/src/arch-arm/64/
H A Ddebug.c9 #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 Dprintf.h12 int printf(const char *format, ...);
/seL4-refos-master/tools/elfloader/src/arch-arm/64/
H A Ddebug.c9 #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 Dcapdl.h14 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 Ddebug.h83 #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 Dfaults.c74 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 Dterminal.c52 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 Dterminal.c52 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 Dcapdl.c17 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 Didle.c24 printf("halting...");
/seL4-refos-master/seL4_tools/elfloader-tool/src/arch-arm/
H A Dsys_boot.c12 #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 Dsys_boot.c12 #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 Didle.c22 printf("halting...");
/seL4-refos-master/kernel/src/arch/arm/64/machine/
H A Dcapdl.c78 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 Dtestutil.c35 /* 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...]

Completed in 300 milliseconds

1234567891011>>