/seL4-camkes-master/projects/camkes-tool/camkes/templates/ |
H A D | seL4GDB-to.template.c | 49 ZF_LOGD("MR 0: %zX", args[0]); 50 ZF_LOGD("MR 1: %zX", args[1]); 51 ZF_LOGD("MR 2: %zX", args[2]); 52 ZF_LOGD("MR 3: %zX", args[3]); 53 ZF_LOGD("Breakpoint number %zu", args[1]); 55 ZF_LOGD("Data breakpoint"); 59 ZF_LOGD("Hardware breakpoint"); 64 ZF_LOGD("Decrementing fault ep because of seL4 kernel behavior"); 110 ZF_LOGD("------------------------------"); 111 ZF_LOGD("Receive [all...] |
/seL4-camkes-master/projects/camkes-tool/libsel4camkes/src/ |
H A D | sync.c | 26 ZF_LOGD("called by %p", 59 ZF_LOGD("called by %p on cap %d", 67 ZF_LOGD("called by %p on cap %d", 76 ZF_LOGD("called by %p on cap %d",
|
/seL4-camkes-master/projects/camkes-tool/libsel4camkes/src/sel4_arch/ia32/gdb_server/ |
H A D | gdb.c | 121 ZF_LOGD("Breakpoint type %d", type); 157 ZF_LOGD("Hit watchpoint"); 162 ZF_LOGD("Hit breakpoint"); 166 ZF_LOGD("Did step"); 170 ZF_LOGD("Software breakpoint"); 193 ZF_LOGD("command: %s", command); 200 ZF_LOGD("Checksum error, computed %x," 222 ZF_LOGD("Setting length %p", __builtin_return_address(0)); 226 ZF_LOGD("Correct length %p", __builtin_return_address(0)); 228 ZF_LOGD("messag [all...] |
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/pc99/acpi/ |
H A D | acpi.c | 69 ZF_LOGD("Region 0/%d: size = %zu/%zu\n", dst->region_count, dst->regions[0].size, size); 78 ZF_LOGD("found index %d\n", index); 100 ZF_LOGD("err: could not split region\n"); 118 ZF_LOGD("ti %d, pi %d\n", table_index, parent); 125 ZF_LOGD("copy -> %s\n", acpi_sig_str(src->type)); 145 ZF_LOGD("Got address %p\n", p); 147 ZF_LOGD("err: unable to find rsdt\n"); 157 ZF_LOGD("Got address %p\n", p); 159 ZF_LOGD("err: unable to find xsdt\n"); 168 ZF_LOGD("er [all...] |
H A D | walker.c | 50 ZF_LOGD("Failed to map paddr %p, size %zu\n", table_paddr, sizeof(acpi_header_t)); 57 ZF_LOGD("Skipping table %s, unknown\n", header->signature); 68 ZF_LOGD("Failed tomap paddr %p, size %"PRIu32"\n", table_paddr, header->length); 93 ZF_LOGD("Failed to map physical page %p\n", start); 107 ZF_LOGD("Faied to find sig %s in range %p <-> %p\n", sig, start, end); 129 ZF_LOGD("Failed to malloc object size %zu\n", length);
|
/seL4-camkes-master/projects/util_libs/libutils/include/utils/ |
H A D | zf_log_if.h | 29 if (cond) { ZF_LOGD("[Cond failed: %s]\n\t" fmt, #cond, ## __VA_ARGS__); }
|
/seL4-camkes-master/projects/projects_libs/libusbdrivers/src/drivers/ |
H A D | usbhub.c | 182 ZF_LOGD("Error: check hub status!\n"); 186 ZF_LOGD("Handle status change of port %d\n", port); 212 ZF_LOGD("Status change (0x%x:0x%x) on port %d.\n", 226 ZF_LOGD("Port %d connected\n", port); 297 ZF_LOGD("Port %d disconnected\n", port); 313 ZF_LOGD("Port %d enabled\n", port); 325 ZF_LOGD("Port %d suspended\n", port); 337 ZF_LOGD("Port %d over-current\n", port); 349 ZF_LOGD("Port %d reset\n", port); 373 ZF_LOGD("Receive [all...] |
H A D | storage.c | 170 ZF_LOGD("USB mass storage set configuration failed.\n"); 199 ZF_LOGD("USB mass storage reset failed.\n"); 218 ZF_LOGD("Not enough DMA memory!\n"); 236 ZF_LOGD("USB mass storage get LUN failed.\n"); 255 ZF_LOGD("Not enough memory!\n"); 288 ZF_LOGD("Not a USB mass storage(%d)\n", class); 293 ZF_LOGD("USB storage found, subclass(%x, %x)\n", ubms->subclass, ubms->protocol); 375 ZF_LOGD("CSW status(%u)\n", csw->status); 391 ZF_LOGD("Unknown CSW status(%u)\n", csw->status);
|
H A D | mouse.c | 59 ZF_LOGD("Received unsuccessful IRQ\n"); 100 ZF_LOGD("Configuring mouse\n"); 124 ZF_LOGD("Successfully initialised\n");
|
H A D | cdc.c | 129 ZF_LOGD("Communication Interface\n"); 131 ZF_LOGD(" |-- %s\n", subclass_codes[cdc->subclass]); 135 ZF_LOGD("Data Interface\n"); 141 ZF_LOGD(" %s\n", 144 ZF_LOGD(" Function type reserved(%x)\n", 194 ZF_LOGD("Not enough memory!\n"); 224 ZF_LOGD("Failed to allocate circular buffer!\n"); 231 ZF_LOGD("Failed to allocate circular buffer!\n"); 239 ZF_LOGD("Not a CDC device(%d)\n", class); 246 ZF_LOGD("US [all...] |
H A D | usbkbd.c | 153 ZF_LOGD("Changing rate to %dms\n", kbd->repeat_rate * 4); 170 ZF_LOGD("Received unsuccessful IRQ\n"); 175 ZF_LOGD("Short read on INT packet (%d)\n", len); 322 ZF_LOGD("Configuring keyboard\n"); 352 ZF_LOGD("Scheduling IRQS\n"); 358 ZF_LOGD("Successfully initialised\n");
|
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vm/src/arch/arm/ |
H A D | syscalls.c | 29 ZF_LOGD("PA translation syscall from [%s]: 0x%08x->?\n", vm->vm_name, pa); 63 ZF_LOGD("IPA translation syscall from [%s]: 0x%08x->0x%08x\n", 74 ZF_LOGD("NOP syscall from [%s]\n", vm->vm_name);
|
/seL4-camkes-master/projects/seL4_libs/libsel4utils/include/sel4utils/ |
H A D | sel4_zf_logif.h | 31 { ZF_LOGD("[Err %s]:\n\t" fmt, sel4_strerror(err), ## __VA_ARGS__); }
|
/seL4-camkes-master/projects/util_libs/libplatsupport/src/mach/exynos/ |
H A D | pmic_rtc.c | 76 ZF_LOGD("Bus error"); 110 ZF_LOGD("Failed to register I2C slave"); 118 ZF_LOGD("Failed to initialize I2C KV-slave lib instance."); 130 ZF_LOGD("Bus error");
|
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/src/plat/exynos5/devices/ |
H A D | vpower.c | 51 ZF_LOGD("[%s] pc0x%x| r0x%x:0x%x\n", dev->name, get_vcpu_fault_ip(vcpu), 57 ZF_LOGD("[%s] Software reset\n", dev->name); 71 ZF_LOGD("[%s] Power down\n", dev->name); 84 ZF_LOGD("[%s] pc 0x%x| access violation writing 0x%x to 0x%x\n",
|
H A D | vsysreg.c | 37 ZF_LOGD("[%s] pc0x%x| r0x%x:0x%x\n", dev->name, get_vcpu_fault_ip(vcpu), 40 ZF_LOGD("[%s] pc0x%x| w0x%x:0x%x\n", dev->name, get_vcpu_fault_ip(vcpu),
|
H A D | irq_combiner.c | 123 ZF_LOGD("Registered combiner IRQ (%d, %d)\n", group, idx); 159 ZF_LOGD("Fault on group pending register\n"); 176 ZF_LOGD("enable IRQ %d.%d (%d)\n", group, index, group + 32); 190 ZF_LOGD("disable IRQ %d.%d (%d)\n", group, index, group + 32); 198 ZF_LOGD("Error handling register access at offset 0x%x\n", offset); 201 ZF_LOGD("Unknown register access at offset 0%x\n", offset);
|
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vm/src/arch/x86/processor/ |
H A D | msr.c | 33 ZF_LOGD("rdmsr ecx 0x%x\n", msr_no); 107 ZF_LOGD("wrmsr ecx 0x%x value: 0x%x 0x%x\n", msr_no, val_high, val_low);
|
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/src/arch/arm/devices/ |
H A D | generic_forward_device.c | 34 ZF_LOGD("No read function provided"); 41 ZF_LOGD("No write function provided");
|
/seL4-camkes-master/projects/capdl/capdl-loader-app/src/ |
H A D | main.c | 378 ZF_LOGD("Sorting untypeds..."); 402 ZF_LOGD("Untyped %3d (cptr=%p) (addr=%p) is of size %2d. Skipping as it is device", 407 ZF_LOGD("Untyped %3d (cptr=%p) (addr=%p) is of size %2d. Placing in slot %d...", 425 ZF_LOGD("Parsing bootinfo..."); 438 ZF_LOGD(" %ld free cap slots, from %ld to %ld", 486 ZF_LOGD(" Untyped memory (%d)", num_untyped); 491 ZF_LOGD(" 0x%016" PRIxPTR " - 0x%016" PRIxPTR " (%s)", ut_paddr, 496 ZF_LOGD("Loader is running in domain %d", bootinfo->initThreadDomain); 669 ZF_LOGD(" device frame/untyped, paddr = %p, size = %d bits", (void *) paddr, obj_size); 709 ZF_LOGD("Creatin [all...] |
/seL4-camkes-master/projects/util_libs/libpci/src/ |
H A D | virtual_pci.c | 26 ZF_LOGD("device_allow error: NULL device!\n"); 30 ZF_LOGD("device_allow error: invalid device!\n"); 112 ZF_LOGD("vpci_ioread WARNING: portno + size = 0x%x invalid address.\n", port_no + size); 121 ZF_LOGD("vpci_ioread WARNING: port_no 0x%x size %d invalid.\n", port_no, size); 156 ZF_LOGD("vpci_ioread WARNING: portno + size = 0x%x invalid address.\n", port_no + size); 164 ZF_LOGD("vpci_iowrite WARNING: port_no 0x%x size %d invalid.\n", port_no, size);
|
/seL4-camkes-master/projects/seL4_libs/libsel4serialserver/src/ |
H A D | server.c | 148 ZF_LOGD(SERSERVS"badge_value_alloc: Failed resize pool."); 311 ZF_LOGD("connect: moved received client Frame cap %d from recv slot %"PRIxPTR" to slot %"PRIxPTR".", 425 ZF_LOGD("Registry is NULL."); 429 ZF_LOGD("Reg: idx %d, badge %d, shmem_size %d, shmem %p, caps %p.", 438 ZF_LOGD("Reg badge %d: frame cap %d: %"PRIxPTR".", 492 ZF_LOGD(SERSERVS "main: Got message from %x", sender_badge); 513 ZF_LOGD(SERSERVS"main: Got connect request from client badge %x.", 545 ZF_LOGD(SERSERVS"main: Got write request from client badge %x.", 558 ZF_LOGD(SERSERVS"main: Got disconnect request from client badge %x.",
|
/seL4-camkes-master/projects/util_libs/libplatsupport/include/platsupport/ |
H A D | ltimer.h | 207 ZF_LOGD("n invalid"); 238 ZF_LOGD("n invalid"); 301 ZF_LOGD("Time doesn't appear to be changing");
|
/seL4-camkes-master/projects/projects_libs/libsdhcdrivers/src/ |
H A D | sdhc.c | 198 ZF_LOGD("%x: %X", i, readl(host->base + i)); 255 ZF_LOGD("CMD: %d with arg %x ", cmd->index, cmd->arg); 427 ZF_LOGD("Tuning pass"); 430 ZF_LOGD("Retuning event"); 433 ZF_LOGD("Card interrupt"); 436 ZF_LOGD("Card removal"); 440 ZF_LOGD("Card insertion"); 443 ZF_LOGD("DMA interrupt"); 446 ZF_LOGD("Block gap event"); 720 ZF_LOGD("Car [all...] |
/seL4-camkes-master/projects/projects_libs/libusbdrivers/src/ehci/ |
H A D | hub.c | 72 ZF_LOGD("EHCI: Unknown feature %d for set feature request\n", 125 ZF_LOGD("EHCI: Unknown feature %d for clear feature request\n",
|