Searched refs:ZF_LOGV (Results 1 - 13 of 13) sorted by relevance

/seL4-camkes-master/projects/seL4_libs/libsel4muslcsys/src/
H A Dsys_exit.c38 ZF_LOGV("Ignoring call to %s", __FUNCTION__);
44 ZF_LOGV("Ignoring call to %s", __FUNCTION__);
50 ZF_LOGV("Ignoring call to %s", __FUNCTION__);
56 ZF_LOGV("%s assuming self kill", __FUNCTION__);
63 ZF_LOGV("%s assuming self kill", __FUNCTION__);
70 ZF_LOGV("Ignoring call to %s", __FUNCTION__);
H A Dsys_morecore.c335 ZF_LOGV("calling dummy version of sys_madvise()\n");
/seL4-camkes-master/projects/seL4_libs/libsel4allocman/src/mspace/
H A Dvirtual_pool.c33 ZF_LOGV("Failed to allocate slot");
39 ZF_LOGV("Failed to allocate frame");
47 ZF_LOGV("Failed to allocate slot");
58 ZF_LOGV("Failed to allocate paging structure");
86 ZF_LOGV("morecore out of virtual pool");
93 ZF_LOGV("morecore failed to add page");
/seL4-camkes-master/projects/seL4_libs/libsel4allocman/src/utspace/
H A Dsplit.c54 ZF_LOGV("Failed to allocate node of size %zu", sizeof(*node));
60 ZF_LOGV("Failed to allocate slot");
79 ZF_LOGV("Failed to allocate node of size %zu", sizeof(*node));
154 ZF_LOGV("Failed to refill pool of size %zu, no larger pools", size_bits);
160 ZF_LOGV("Failed to refill pool of size %zu", size_bits);
175 ZF_LOGV("Failed to allocate left node");
180 ZF_LOGV("Failed to allocate right node");
278 ZF_LOGV("Failed to refill pool to allocate object of size %zu", size_bits);
292 ZF_LOGV("Failed to refill device memory pool to allocate object of size %zu", size_bits);
293 ZF_LOGV("Tryin
[all...]
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/am335x/
H A Di2c.c155 ZF_LOGV("%s %zu bytes from slave 0x%x", write ? "writing" : "reading", size, slave->address);
306 ZF_LOGV("IRQSTATUS = 0x%x", irq_status);
310 ZF_LOGV("NACK");
317 ZF_LOGV("ARDY");
341 ZF_LOGV("RDR");
345 ZF_LOGV("RRDY");
365 ZF_LOGV("XDR");
369 ZF_LOGV("XRDY");
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/tk1/
H A Dgpio.c313 ZF_LOGV("Offset: 0x%x (vaddr %x), controller offset: 0x%x, port offset: 0x%x, "
343 ZF_LOGV("Offset: 0x%x, controller offset: 0x%x, port offset: 0x%x, "
354 ZF_LOGV("GPIO %d bit value: 0x%x\n", pin, val);
367 ZF_LOGV("offset: 0x%x, controller offset: 0x%x, port offset: 0x%x, "
415 ZF_LOGV("Configuring GPIO pin %d", id);
461 ZF_LOGV("vaddr: %p", vaddr);
500 ZF_LOGV("Offset: 0x%x, controller offset: 0x%x, port offset: 0x%x, "
573 ZF_LOGV("Reg value: 0x%x", val);
H A Di2c.c632 ZF_LOGV(PREFIX"Resulting baud is %d. Recalculating divisor up from %d to %d.",
637 ZF_LOGV(PREFIX"Calculated I2C divisor at %d. Effective baud is %d. Previous values: std %d, hs %d.",
/seL4-camkes-master/projects/util_libs/libplatsupport/src/mach/nvidia/
H A Dserial.c271 ZF_LOGV("Int reason EO received data.");
300 ZF_LOGV("Buffer of %dB will be overrun.", rd->bytes_requested);
337 ZF_LOGV("Int reason THR ready: %d of %d bytes transferred.",
350 ZF_LOGV("One DMA pass finished: written %d of %dB!",
376 ZF_LOGV("Modem status changed.");
448 ZF_LOGV("read call with 0 count.");
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/pc99/
H A Dpit.c59 ZF_LOGV("ns invalid for programming PIT %"PRIu64" <= %"PRIu64" <= %"PRIu64"\n",
/seL4-camkes-master/projects/util_libs/libpci/src/
H A Dvirtual_pci.c142 ZF_LOGV("vpci_ioread WARNING: disallowed device %d %d %d.\n", bus, dev, fun);
183 ZF_LOGV("vpci_iowrite WARNING: disallowed device %d %d %d.\n", bus, dev, fun);
/seL4-camkes-master/projects/util_libs/libutils/include/utils/
H A Dzf_log.h267 * - ZF_LOGV("format string", args, ...)
315 #define ZF_LOGV(...) \ macro
320 #define ZF_LOGV(...) _ZF_LOG_UNUSED(__VA_ARGS__) macro
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/pc99/acpi/
H A Dacpi.c355 ZF_LOGV("Parsing ACPI tables\n");
401 ZF_LOGV("Parsing ACPI tables\n");
/seL4-camkes-master/projects/capdl/capdl-loader-app/src/
H A Dmain.c725 ZF_LOGV("Creating object %s in slot %ld, from untyped %lx...",
804 ZF_LOGV("Creating object %s in slot %ld, from untyped %lx...", CDL_Obj_Name(obj), (long)free_slot,
1837 ZF_LOGV("skipping");

Completed in 193 milliseconds