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

123

/seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/src/plat/exynos5/devices/
H A Dvgpio.c103 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 Dlan9730.c704 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 Dserial.c145 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 Ddma330.c556 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 Dirq_combiner.c129 ZF_LOGD("Mapping device ID %d\n", id);
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/tk1/
H A Dmux.c289 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 Di2c.c544 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 Dgpio.c166 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 Dinterrupt.c128 ZF_LOGD("trying to start vcpu %d\n", vcpu->vcpu_id);
H A Dioports.c104 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 Dmux.c663 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 Drumppci.c263 ZF_LOGD("\trumpcomp_pci_unmap: addr 0x%p len %d\n", addr, len);
/seL4-camkes-master/projects/util_libs/libethdrivers/src/
H A Dpico_dev_eth.c197 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 Dehci-imx6.c289 ZF_LOGD("Failed to initialise USB PHY clock\n");
/seL4-camkes-master/projects/util_libs/libpci/src/
H A Dvirtual_device.c30 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 Dirq_server.c136 ZF_LOGD("thread started. Waiting on endpoint %lu\n", ntfn);
/seL4-camkes-master/projects/seL4_libs/libsel4utils/src/
H A Delf.c234 ZF_LOGD("Empty reservation detected. This should indicate that this segments"
H A Dprocess.c383 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 Dsys_io.c312 ZF_LOGD("No standard out function registered");
/seL4-camkes-master/projects/util_libs/libethdrivers/src/plat/tx2/
H A Dtx2.c236 ZF_LOGD("No TX or RX IRQ, ignoring this interrupt");
/seL4-camkes-master/projects/seL4_libs/libsel4allocman/src/
H A Dbootstrap.c971 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);

Completed in 292 milliseconds

123