Searched refs:ZF_LOGD (Results 1 - 25 of 71) sorted by relevance

123

/seL4-camkes-master/projects/camkes-tool/camkes/templates/
H A DseL4GDB-to.template.c49 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 Dsync.c26 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 Dgdb.c121 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 Dacpi.c69 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 Dwalker.c50 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 Dzf_log_if.h29 if (cond) { ZF_LOGD("[Cond failed: %s]\n\t" fmt, #cond, ## __VA_ARGS__); }
/seL4-camkes-master/projects/projects_libs/libusbdrivers/src/drivers/
H A Dusbhub.c182 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 Dstorage.c170 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 Dmouse.c59 ZF_LOGD("Received unsuccessful IRQ\n");
100 ZF_LOGD("Configuring mouse\n");
124 ZF_LOGD("Successfully initialised\n");
H A Dcdc.c129 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 Dusbkbd.c153 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 Dsyscalls.c29 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 Dsel4_zf_logif.h31 { ZF_LOGD("[Err %s]:\n\t" fmt, sel4_strerror(err), ## __VA_ARGS__); }
/seL4-camkes-master/projects/util_libs/libplatsupport/src/mach/exynos/
H A Dpmic_rtc.c76 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 Dvpower.c51 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 Dvsysreg.c37 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 Dirq_combiner.c123 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 Dmsr.c33 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 Dgeneric_forward_device.c34 ZF_LOGD("No read function provided");
41 ZF_LOGD("No write function provided");
/seL4-camkes-master/projects/capdl/capdl-loader-app/src/
H A Dmain.c378 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 Dvirtual_pci.c26 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 Dserver.c148 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 Dltimer.h207 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 Dsdhc.c198 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 Dhub.c72 ZF_LOGD("EHCI: Unknown feature %d for set feature request\n",
125 ZF_LOGD("EHCI: Unknown feature %d for clear feature request\n",

Completed in 203 milliseconds

123