/seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/src/plat/exynos5/devices/ |
H A D | vgpio.c | 103 ZF_LOGD("[%s] pc 0x%08x | r 0x%08x:0x%08x\n", gpio_devices[bank]->name, 109 ZF_LOGD("[%s] pc 0x%08x | w 0x%08x:0x%08x\n", gpio_devices[bank]->name,
|
/seL4-camkes-master/projects/projects_libs/libusbdrivers/src/drivers/ |
H A D | lan9730.c | 704 ZF_LOGD("Unknown USB-ETH IRQ status: 0x%x\n", status); 725 ZF_LOGD("Received unsuccessful IRQ\n"); 729 ZF_LOGD("Unexpected number of bytes for INT packet (%d)\n", len); 733 ZF_LOGD("Handling IRQ\n"); 736 ZF_LOGD("Spurious IRQ\n"); 905 ZF_LOGD("Configure ETH\n"); 966 ZF_LOGD("Registering for INT (%d ms)\n", eth->ep_int->interval);
|
/seL4-camkes-master/projects/global-components/components/SerialServer/src/ |
H A D | serial.c | 145 ZF_LOGD("newline not found!\r\n"); 155 ZF_LOGD("0-length!\r\n"); 214 ZF_LOGD("\r\nDifferent contents '");
|
/seL4-camkes-master/projects/util_libs/libplatsupport/src/arch/arm/ |
H A D | dma330.c | 556 ZF_LOGD("Executing 0x%x on channel %d\n", program, ch); 565 ZF_LOGD("Transfer @ 0x%x completed with status: 0x%x\n", program, status); 593 ZF_LOGD("IRQ: Channel %d.%d\n", ch, sig); 671 ZF_LOGD("Copy configure @ 0x%x: 0x%x -> 0x%x (%d bytes)\n",
|
/seL4-camkes-master/projects/util_libs/libplatsupport/src/mach/exynos/ |
H A D | irq_combiner.c | 129 ZF_LOGD("Mapping device ID %d\n", id);
|
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/tk1/ |
H A D | mux.c | 289 ZF_LOGD("Group off 0x%x: previous val: 0x%x.", group_offset, *reg); 301 ZF_LOGD("Group off 0x%x: new val: 0x%x.", group_offset, *reg); 528 ZF_LOGD("Feature enable: feat %d, Mux pad index 0x%x(offset 0x%x), GPIO %d. Reg state before 0x%x.", 582 ZF_LOGD("Feature enable: feat %d, Mux pad index 0x%x(offset 0x%x), GPIO %d. Reg state AFTER 0x%x.",
|
H A D | i2c.c | 544 ZF_LOGD("Reading highspeed tlow/high: tLOW %d, tHIGH %d.", 558 ZF_LOGD("Reading std/fast/f+ tlow/high: tLOW %d, tHIGH %d.", 566 ZF_LOGD("tLOW is %d, tHIGH is %d.", tlow, thigh); 664 ZF_LOGD("For I2C speed %s, divisor was calculated to be %d.", 1042 ZF_LOGD(IRQPREFIX"Xfer complete, pktstatus is 0x%x, i2cstatus is 0x%x.", r, 1053 ZF_LOGD(IRQPREFIX"Got an \"ALL_PKTS_XFER_COMPLETE\" IRQ.", r);
|
H A D | gpio.c | 166 ZF_LOGD("GPIO: Pin %d has its lock set: CNF lock: regval %x.\n", 170 ZF_LOGD("GPIO: lock scan: %d pins have their locks set.\n", total);
|
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vm/src/arch/x86/ |
H A D | interrupt.c | 128 ZF_LOGD("trying to start vcpu %d\n", vcpu->vcpu_id);
|
H A D | ioports.c | 104 ZF_LOGD("Enabling IO port 0x%x - 0x%x for passthrough", port_start, port_end);
|
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/imx6/ |
H A D | mux.c | 663 ZF_LOGD("Muxing for I2C1\n"); 672 ZF_LOGD("Muxing for I2C2\n"); 681 ZF_LOGD("Muxing for I2C3\n"); 690 ZF_LOGD("Muxing CLKO1 to MUX0\n"); 695 ZF_LOGD("Muxing for UART1\n"); 787 ZF_LOGD("Unable to mux GPIOID 0x%x\n", gpio_id);
|
/seL4-camkes-master/tools/rumprun/platform/sel4/pci/ |
H A D | rumppci.c | 263 ZF_LOGD("\trumpcomp_pci_unmap: addr 0x%p len %d\n", addr, len);
|
/seL4-camkes-master/projects/util_libs/libethdrivers/src/ |
H A D | pico_dev_eth.c | 197 ZF_LOGD("RX complete, %d in queue!\n", ((pico_device_eth *)iface)->rx_count);
|
/seL4-camkes-master/projects/projects_libs/libusbdrivers/src/plat/imx6/ |
H A D | ehci-imx6.c | 289 ZF_LOGD("Failed to initialise USB PHY clock\n");
|
/seL4-camkes-master/projects/util_libs/libpci/src/ |
H A D | virtual_device.c | 30 ZF_LOGD("returning rebased_addr rebased_addr[%d] 0x%x\n", index, vdevice->rebased_addr[index]);
|
/seL4-camkes-master/projects/seL4_libs/libsel4utils/src/irq_server/ |
H A D | irq_server.c | 136 ZF_LOGD("thread started. Waiting on endpoint %lu\n", ntfn);
|
/seL4-camkes-master/projects/seL4_libs/libsel4utils/src/ |
H A D | elf.c | 234 ZF_LOGD("Empty reservation detected. This should indicate that this segments"
|
H A D | process.c | 383 ZF_LOGD("Starting process at %p, stack %p\n", process->entry_point, (void *) initial_stack_pointer);
|
/seL4-camkes-master/projects/seL4_libs/libsel4muslcsys/src/ |
H A D | sys_io.c | 312 ZF_LOGD("No standard out function registered");
|
/seL4-camkes-master/projects/util_libs/libethdrivers/src/plat/tx2/ |
H A D | tx2.c | 236 ZF_LOGD("No TX or RX IRQ, ignoring this interrupt");
|
/seL4-camkes-master/projects/seL4_libs/libsel4allocman/src/ |
H A D | bootstrap.c | 971 ZF_LOGD("goal 0x%zx, base: 0x%zx, next_size: 0x%zx, 0x%zx, 0x%zx, 0x%zx", goal, base, (uintptr_t) BIT(next_size_bits), next_size, CLZL((long)next_size),alignment); 1028 ZF_LOGD("basepaddr 0x%zx framesize: %zd", paddr, size_bits); 1029 ZF_LOGD("\tPhysical Memory Region from %"PRIx64" size %"PRIx64" type %d", region->base_addr, region->length, region->type);
|