/seL4-camkes-master/projects/util_libs/libplatsupport/src/mach/imx/epit/ |
H A D | epit.c | 219 int epit_init(epit_t *epit, epit_config_t config) argument
|
/seL4-camkes-master/projects/util_libs/libethdrivers/src/plat/am335x/ |
H A D | beaglebone.c | 323 int ethif_am335x_init(struct eth_driver *eth_driver, ps_io_ops_t io_ops, void *config) argument
|
/seL4-camkes-master/projects/lwip/src/apps/http/ |
H A D | altcp_proxyconnect.c | 317 altcp_proxyconnect_setup(struct altcp_proxyconnect_config *config, struct altcp_pcb *conn, struct altcp_pcb *inner_conn) argument 346 altcp_proxyconnect_new(struct altcp_proxyconnect_config *config, struct altcp_pcb *inner_pcb) argument 370 altcp_proxyconnect_new_tcp(struct altcp_proxyconnect_config *config, u8_t ip_type) argument
|
/seL4-camkes-master/projects/util_libs/libethdrivers/src/plat/tx2/ |
H A D | tx2.c | 304 int ethif_tx2_init(struct eth_driver *eth_driver, ps_io_ops_t io_ops, void *config) argument
|
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/pc99/ |
H A D | hpet.c | 209 int hpet_init(hpet_t *hpet, hpet_config_t config) argument [all...] |
H A D | ltimer.c | 42 hpet_config_t config; member in struct:__anon81::__anon82::__anon83 [all...] |
/seL4-camkes-master/tools/rumprun/platform/sel4/ |
H A D | entry.c | 202 vspace_new_pages_config_t config; local
|
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/src/drivers/ |
H A D | pci_helper.c | 282 vmm_pci_create_passthrough(vmm_pci_address_t addr, vmm_pci_config_t config) argument [all...] |
H A D | virtio_net_emul.c | 261 void *net_virtio_emul_init(virtio_emul_t *emul, ps_io_ops_t io_ops, ethif_driver_init driver, void *config) argument
|
H A D | virtio_net.c | 78 static int emul_driver_init(struct eth_driver *driver, ps_io_ops_t io_ops, void *config) argument
|
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/include/sel4vmmplatsupport/drivers/ |
H A D | pci_helper.h | 154 vmm_pci_config_t config; member in struct:pci_passthrough_device
|
/seL4-camkes-master/projects/util_libs/libethdrivers/src/plat/pc99/ |
H A D | virtio_pci.c | 361 int ethif_virtio_pci_init(struct eth_driver *eth_driver, ps_io_ops_t io_ops, void *config) { argument
|
/seL4-camkes-master/projects/util_libs/libethdrivers/src/plat/zynq7000/uboot/ |
H A D | phy.h | 137 int (*config)(struct phy_device *phydev); member in struct:phy_driver
|
/seL4-camkes-master/projects/seL4_libs/libsel4utils/src/irq_server/ |
H A D | irq_server.c | 227 sel4utils_thread_config_t config = thread_config_default(irq_server->simple, irq_server->cspace, local
|
/seL4-camkes-master/projects/util_libs/libplatsupport/src/mach/imx/ |
H A D | gpt.c | 268 int gpt_init(gpt_t *gpt, gpt_config_t config) argument
|
/seL4-camkes-master/projects/util_libs/libethdrivers/src/plat/tx2/uboot/ |
H A D | phy.h | 140 int (*config)(struct phy_device *phydev); member in struct:phy_driver
|
/seL4-camkes-master/kernel/src/plat/tk1/machine/ |
H A D | smmu.c | 73 volatile uint32_t *config = (volatile uint32_t *)(MC_PADDR + SMMU_CONFIG_OFFSET); local 79 volatile uint32_t *config = (volatile uint32_t *)(MC_PADDR + SMMU_CONFIG_OFFSET); local
|
/seL4-camkes-master/projects/util_libs/libethdrivers/src/plat/zynq7000/ |
H A D | zynq7000.c | 382 int ethif_zynq7000_init(struct eth_driver *eth_driver, ps_io_ops_t io_ops, void *config) argument
|
/seL4-camkes-master/projects/seL4_libs/libsel4vspace/include/vspace/ |
H A D | vspace.h | 52 default_vspace_new_pages_config(size_t num_pages, size_t size_bits, vspace_new_pages_config_t *config) argument 73 vspace_new_pages_config_set_vaddr(void *vaddr, vspace_new_pages_config_t *config) argument 85 vspace_new_pages_config_use_device_ut(bool can_use_dev, vspace_new_pages_config_t *config) argument 580 vspace_new_pages_at_vaddr_with_config(vspace_t *vspace, vspace_new_pages_config_t *config, reservation_t res) argument 606 vspace_new_pages_config_t config; local [all...] |
/seL4-camkes-master/projects/seL4_libs/libsel4utils/src/ |
H A D | process.c | 400 sel4utils_process_config_t config = process_config_default(image_name, seL4_CapInitThreadASIDPool); local 501 sel4utils_configure_process_custom(sel4utils_process_t *process, vka_t *vka, vspace_t *spawner_vspace, sel4utils_process_config_t config) argument [all...] |
/seL4-camkes-master/projects/util_libs/libplatsupport/src/mach/zynq/ |
H A D | timer.c | 569 int ttc_init(ttc_t *ttc, ttc_config_t config) argument [all...] |
/seL4-camkes-master/kernel/include/arch/arm/arch/machine/ |
H A D | gic_v2.h | 69 uint32_t config[64]; /* [0xC00, 0xD00) */ member in struct:gic_dist_map
|
/seL4-camkes-master/projects/util_libs/libethdrivers/src/plat/imx6/ |
H A D | imx6.c | 379 int ethif_imx6_init(struct eth_driver *eth_driver, ps_io_ops_t io_ops, void *config) argument
|
/seL4-camkes-master/projects/util_libs/libplatsupport/src/mach/omap/ |
H A D | gpt.c | 294 int rel_gpt_init(gpt_t *gpt, gpt_config_t config) argument 322 int abs_gpt_init(gpt_t *gpt, gpt_config_t config) argument
|
/seL4-camkes-master/projects/lwip/src/apps/altcp_tls/ |
H A D | altcp_tls_mbedtls.c | 581 struct altcp_tls_config *config = (struct altcp_tls_config *)conf; local 613 altcp_tls_wrap(struct altcp_tls_config *config, struct altcp_pcb *inner_pcb) argument
|