| /seL4-camkes-master/tools/rumprun/platform/xen/ |
| H A D | init.c | 42 char *cfg; local
|
| /seL4-camkes-master/tools/pruner/ |
| H A D | cfg.c | 155 cfg_t *cfg(CXTranslationUnit tu) { function
|
| /seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/src/arch/arm/devices/ |
| H A D | generic_forward_device.c | 16 struct generic_forward_cfg cfg; member in struct:gf_device_priv
52 vm_install_generic_forward_device(vm_t *vm, const struct device *d, struct generic_forward_cfg cfg) argument
|
| /seL4-camkes-master/projects/util_libs/libpci/include/pci/ |
| H A D | pci.h | 41 libpci_device_iocfg_t cfg; member in struct:libpci_device
|
| H A D | pci_config.h | 88 static inline uint64_t libpci_device_iocfg_get_baseaddr(libpci_device_iocfg_t *cfg, int index) { argument
101 static inline uint32_t libpci_device_iocfg_get_baseaddr32(libpci_device_iocfg_t *cfg, int index) { argument
114 static inline bool libpci_device_iocfg_uses_iomem(libpci_device_iocfg_t *cfg) { argument
124 libpci_device_iocfg_debug_print(libpci_device_iocfg_t *cfg, bool compact) argument
[all...] |
| /seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/zynq7000/ |
| H A D | devcfg.h | 31 uint32_t cfg; // 0x0008 Configuration member in struct:devcfg_regs
|
| /seL4-camkes-master/tools/riscv-pk/bbl/ |
| H A D | bbl.c | 47 uintptr_t a0 = 0, a1 = 0, a2 = 0, a3 = 0, tmp, cfg; local
|
| /seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/src/arch/x86/drivers/ |
| H A D | vmm_pci_helper.c | 17 int vmm_pci_helper_map_bars(vm_t *vm, libpci_device_iocfg_t *cfg, vmm_pci_bar_t *bars) argument
[all...] |
| /seL4-camkes-master/projects/projects_libs/libusbdrivers/src/drivers/ |
| H A D | hid.c | 86 usb_hid_config_cb(void *token, int cfg, int iface, struct anon_desc *desc) argument
|
| H A D | cdc.c | 105 usb_cdc_config_cb(void *token, int cfg, int iface, struct anon_desc *desc) argument
|
| H A D | pl2303.c | 48 pl2303_config_cb(void *token, int cfg, int iface, struct anon_desc *desc) argument
|
| H A D | storage.c | 110 usb_storage_config_cb(void* token, int cfg, int iface, struct anon_desc* desc) argument
|
| H A D | usbhub.c | 407 static int hub_config_cb(void *token, int cfg, int iface, struct anon_desc *d) argument
|
| /seL4-camkes-master/projects/util_libs/libpci/src/ |
| H A D | pci.c | 178 void libpci_read_ioconfig(libpci_device_iocfg_t *cfg, uint8_t bus, uint8_t dev, uint8_t fun) { argument
[all...] |
| /seL4-camkes-master/kernel/include/drivers/timer/ |
| H A D | am335x.h | 17 uint32_t cfg; // 10h TIOCP_CFG Timer OCP Configuration Register member in struct:timer
|
| H A D | omap3430.h | 17 uint32_t cfg; /* GPTIMER_CFG 0x10 */ member in struct:timer
|
| /seL4-camkes-master/projects/util_libs/libplatsupport/plat_include/am335x/platsupport/plat/ |
| H A D | timer.h | 42 uint32_t cfg; // 10h TIOCP_CFG Timer OCP Configuration Register member in struct:dmt_map
|
| /seL4-camkes-master/projects/util_libs/libplatsupport/src/mach/exynos/ |
| H A D | pmic.c | 125 const struct max77_config* cfg = pmic_get_priv(pmic); local
136 const struct max77_config* cfg; local
174 const struct max77_config* cfg; local
[all...] |
| H A D | mux.c | 58 volatile struct mux_cfg *cfg = (volatile struct mux_cfg *)_cfg; local
70 volatile struct mux_cfg *cfg = (volatile struct mux_cfg *)_cfg; local
83 volatile struct mux_cfg *cfg = (volatile struct mux_cfg *)_cfg; local
90 exynos_mux_set_pud(struct mux_cfg *cfg, int pin, int pud) argument
103 volatile struct mux_cfg *cfg = (volatile struct mux_cfg *)_cfg; local
135 exynos_mux_configure(struct mux_cfg *cfg, int pin, int con, int pud, int drv) argument
153 struct mux_cfg *cfg; local
398 struct mux_cfg *cfg; local
428 struct mux_cfg *cfg; local
440 struct mux_cfg *cfg; local
[all...] |
| H A D | spi.c | 388 spi_prepare_transfer(spi_bus_t* spi_bus, const spi_slave_config_t* cfg) argument
|
| /seL4-camkes-master/projects/lwip/src/apps/http/ |
| H A D | altcp_proxyconnect.c | 418 struct altcp_proxyconnect_tls_config *cfg = (struct altcp_proxyconnect_tls_config *)arg; local
|
| /seL4-camkes-master/projects/projects_libs/libusbdrivers/src/ |
| H A D | usb.c | 433 usb_config_print_cb(void *token, int cfg, int iface, struct anon_desc *d) argument
519 int cfg = -1; local
|
| /seL4-camkes-master/projects/util_libs/libethdrivers/src/plat/am335x/ |
| H A D | cpsw.c | 1015 void CPSWCPDMAConfig(unsigned int baseAddr, unsigned int cfg) argument
|
| /seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/tk1/ |
| H A D | spi.c | 280 spi_prepare_transfer(spi_bus_t* spi_bus, const spi_slave_config_t* cfg) argument
|
| /seL4-camkes-master/tools/rumprun/lib/librumprun_base/ |
| H A D | config.c | 736 char *cfg = strstr(cmdline, ROOTCFG); local
748 char *cfg; local
[all...] |