Searched refs:ZF_LOGV (Results 1 - 13 of 13) sorted by relevance
/seL4-camkes-master/projects/seL4_libs/libsel4muslcsys/src/ |
H A D | sys_exit.c | 38 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 D | sys_morecore.c | 335 ZF_LOGV("calling dummy version of sys_madvise()\n");
|
/seL4-camkes-master/projects/seL4_libs/libsel4allocman/src/mspace/ |
H A D | virtual_pool.c | 33 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 D | split.c | 54 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 D | i2c.c | 155 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 D | gpio.c | 313 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 D | i2c.c | 632 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 D | serial.c | 271 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 D | pit.c | 59 ZF_LOGV("ns invalid for programming PIT %"PRIu64" <= %"PRIu64" <= %"PRIu64"\n",
|
/seL4-camkes-master/projects/util_libs/libpci/src/ |
H A D | virtual_pci.c | 142 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 D | zf_log.h | 267 * - 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 D | acpi.c | 355 ZF_LOGV("Parsing ACPI tables\n"); 401 ZF_LOGV("Parsing ACPI tables\n");
|
/seL4-camkes-master/projects/capdl/capdl-loader-app/src/ |
H A D | main.c | 725 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