Searched refs:cfg (Results 1 - 25 of 87) sorted by relevance

1234

/seL4-camkes-master/projects/util_libs/libpci/include/pci/
H A Dpci_config.h88 static inline uint64_t libpci_device_iocfg_get_baseaddr(libpci_device_iocfg_t *cfg, int index) { argument
89 assert(cfg && index >= 0 && index < 6);
90 if (cfg->base_addr_type[index] != PCI_BASE_ADDRESS_MEM_TYPE_64)
91 return (uint64_t) cfg->base_addr[index];
95 assert(cfg->base_addr_64H[index + 1]);
96 return ((uint64_t) cfg->base_addr[index]) | (((uint64_t) cfg->base_addr[index + 1]) << 32);
101 static inline uint32_t libpci_device_iocfg_get_baseaddr32(libpci_device_iocfg_t *cfg, int index) { argument
102 uint64_t baddr = libpci_device_iocfg_get_baseaddr(cfg, index);
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...]
H A Dpci.h41 libpci_device_iocfg_t cfg; member in struct:libpci_device
68 void libpci_read_ioconfig(libpci_device_iocfg_t *cfg, uint8_t bus, uint8_t dev, uint8_t fun);
/seL4-camkes-master/tools/cogent/cogent/tests/tests/fail_flags_ffi-gen-synonym/
H A DBUILD4 CTGFILE=ty-mapping.cfg
/seL4-camkes-master/tools/cogent/cogent/tests/tests/polymorphic/fail_flags_ffi-gen-poly/
H A DBUILD4 CTGFILE=ty-mapping.cfg
/seL4-camkes-master/projects/util_libs/libplatsupport/src/mach/exynos/
H A Dmux.c58 volatile struct mux_cfg *cfg = (volatile struct mux_cfg *)_cfg; local
60 v = cfg->con;
63 ZF_LOGD("con.%d @ 0x%08x : 0x%08x->0x%08x\n", pin, (uint32_t)&cfg->con, cfg->con, v);
64 cfg->con = v;
65 cfg->conpdn |= 0x3 << BITFIELD_SHIFT(pin, 2);
70 volatile struct mux_cfg *cfg = (volatile struct mux_cfg *)_cfg; local
72 v = cfg->dat;
77 ZF_LOGD("dat.%d @ 0x%08x : 0x%08x->0x%08x\n", pin, (uint32_t)&cfg->dat, cfg
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 Dpmic.c125 const struct max77_config* cfg = pmic_get_priv(pmic); local
126 assert(cfg);
127 return cfg->nldo;
136 const struct max77_config* cfg; local
138 cfg = pmic_get_priv(pmic);
139 assert(cfg);
160 if (pmic_reg_write(pmic, cfg->ctrl1_start + ldo - 1, &v, 1)) {
174 const struct max77_config* cfg; local
176 cfg = pmic_get_priv(pmic);
177 assert(cfg);
[all...]
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/src/arch/arm/devices/
H A Dgeneric_forward_device.c16 struct generic_forward_cfg cfg; member in struct:gf_device_priv
33 if (gf_device_priv->cfg.read_fn == NULL) {
37 set_vcpu_fault_data(vcpu, gf_device_priv->cfg.read_fn(offset));
40 if (gf_device_priv->cfg.write_fn == NULL) {
43 gf_device_priv->cfg.write_fn(offset, get_vcpu_fault_data(vcpu));
53 struct generic_forward_cfg cfg)
72 gf_device_priv->cfg = cfg;
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/src/
H A Dpci.c107 libpci_read_ioconfig(&libpci_device_list[libpci_num_devices].cfg, bus, dev, fun);
110 libpci_device_iocfg_debug_print(&libpci_device_list[libpci_num_devices].cfg, false);
120 libpci_device_iocfg_debug_print(&libpci_device_list[libpci_num_devices].cfg, true);
178 void libpci_read_ioconfig(libpci_device_iocfg_t *cfg, uint8_t bus, uint8_t dev, uint8_t fun) { argument
179 assert(cfg);
180 memset(cfg, 0, sizeof(libpci_device_iocfg_t));
185 cfg->base_addr_raw[i] = bios_base_addr;
187 if (cfg->base_addr_64H[i]) {
189 cfg->base_addr[i] = cfg
[all...]
/seL4-camkes-master/tools/rumprun/platform/xen/
H A Dinit.c42 char *cfg; local
47 xenbus_read(txn, "rumprun/cfg", &cfg);
51 return cfg;
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/src/arch/x86/drivers/
H A Dvmm_pci_helper.c17 int vmm_pci_helper_map_bars(vm_t *vm, libpci_device_iocfg_t *cfg, vmm_pci_bar_t *bars) argument
22 if (cfg->base_addr[i] == 0) {
25 size_t size = cfg->base_addr_size[i];
33 if (cfg->base_addr_space[i] == PCI_BASE_ADDRESS_SPACE_MEMORY) {
39 ZF_LOGE("Failed to reserve PCI bar %p size %zu", (void *)(uintptr_t)cfg->base_addr[i], size);
42 int err = map_ut_alloc_reservation_with_base_paddr(vm, (uintptr_t)cfg->base_addr[i], reservation);
44 ZF_LOGE("Failed to map PCI bar %p size %zu", (void *)(uintptr_t)cfg->base_addr[i], size);
48 if (cfg->base_addr_prefetchable[i]) {
55 int error = vm_enable_passthrough_ioport(vm->vcpus[BOOT_VCPU], cfg->base_addr[i], cfg
[all...]
/seL4-camkes-master/tools/pruner/
H A Dcfg.h29 cfg_t *cfg(CXTranslationUnit tu);
H A DMakefile26 prune: cfg.o dict.o main.o set.o
30 cfg.o: dict.h
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/arch_include/arm/sel4vmmplatsupport/arch/
H A Dgeneric_forward_device.h36 * @function vm_install_generic_forward_device(vm, d, cfg)
44 struct generic_forward_cfg cfg);
/seL4-camkes-master/tools/riscv-pk/bbl/
H A Dbbl.c47 uintptr_t a0 = 0, a1 = 0, a2 = 0, a3 = 0, tmp, cfg; local
72 cfg = PMP_TOR << 8;
75 cfg |= (PMP_NAPOT | PMP_R | PMP_W | PMP_X) << 16;
84 "csrw pmpcfg0, %[cfg]"
86 [cfg] "r" (cfg));
/seL4-camkes-master/projects/util_libs/libplatsupport/arch_include/arm/platsupport/
H A Dspi.h47 typedef void (*spi_chipselect_fn)(const spi_slave_config_t* cfg, int state);
80 * @param[in] cfg Slave configuration
82 void spi_prepare_transfer(spi_bus_t* spi_bus, const spi_slave_config_t* cfg);
/seL4-camkes-master/tools/cogent/cogent/tests/pass_bench-dargent-cg/wo_dargent/
H A DMakefile49 --ext-types=types.cfg \
50 --entry-funcs=entrypoints.cfg \
/seL4-camkes-master/tools/cogent/cogent/tests/pass_bench-dargent-cg/w_dargent/
H A DMakefile49 --ext-types=types.cfg \
50 --entry-funcs=entrypoints.cfg \
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/arch_include/x86/sel4vmmplatsupport/arch/drivers/
H A Dvmm_pci_helper.h20 * @function vmm_pci_helper_map_bars(vm, cfg, bars)
24 * @param {libpci_device_iocfg_t *} cfg PCI device config
28 int vmm_pci_helper_map_bars(vm_t *vm, libpci_device_iocfg_t *cfg, vmm_pci_bar_t *bars);
/seL4-camkes-master/tools/cogent/cogent/tests/tests/antiquoted-c/antiquote-tests/pass_seq32/
H A DMakefile49 --entry-funcs=entrypoints.cfg --prune-call-graph=entrypoints.cfg \
56 --entry-funcs=entrypoints.cfg --prune-call-graph=entrypoints.cfg \
/seL4-camkes-master/tools/cogent/cogent/tests/tests/flags/pass_flags_ffi-gen/
H A DMakefile23 CTGFILE=ty-mapping.cfg
53 --entry-funcs=entrypoints.cfg \
54 --ext-types=types.cfg
/seL4-camkes-master/kernel/src/drivers/timer/
H A Dam335x-timer.c102 SET_REGISTER(timer->cfg, TIOCP_CFG_SOFTRESET);
108 for (timeout = 10000; (timer->cfg & TIOCP_CFG_SOFTRESET) && timeout > 0; timeout--);
141 timer->cfg = TIOCP_CFG_SOFTRESET;
143 for (timeout = 10000; (timer->cfg & TIOCP_CFG_SOFTRESET) && timeout > 0; timeout--)
H A Domap3430-timer.c34 timer->cfg = TIOCP_CFG_SOFTRESET;
61 timer->cfg = TIOCP_CFG_SOFTRESET;
/seL4-camkes-master/tools/cogent/cogent/examples/bag/
H A DMakefile48 --ext-types=types.cfg \
49 --entry-funcs=entrypoints.cfg
/seL4-camkes-master/tools/cogent/cogent/examples/hello-world/
H A DMakefile47 --ext-types=types.cfg \
48 --entry-funcs=entrypoints.cfg \
/seL4-camkes-master/tools/cogent/cogent/examples/sumofn/
H A DMakefile47 --ext-types=types.cfg \
48 --entry-funcs=entrypoints.cfg \

Completed in 119 milliseconds

1234