/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/pc99/ |
H A D | serial.c | 110 dev->id = defn->id;
|
/seL4-refos-master/projects/util_libs/libplatsupport/src/mach/zynq/ |
H A D | ltimer.c | 139 .id = TTC_TIMEOUT, 147 .id = TTC_TIMESTAMP,
|
/seL4-refos-master/libs/libplatsupport/src/mach/zynq/ |
H A D | ltimer.c | 139 .id = TTC_TIMEOUT, 147 .id = TTC_TIMESTAMP,
|
H A D | serial.c | 420 enum chardev_id id, 429 dev->id = id; 521 zynq_uart_dev_init(dev, ops, defn->id, vaddr, defn->irqs); 417 zynq_uart_dev_init( ps_chardevice_t *dev, const ps_io_ops_t *ops, enum chardev_id id, void *vaddr, const int *irqs) argument
|
/seL4-refos-master/projects/seL4_libs/libsel4bench/include/sel4bench/ |
H A D | sel4bench.h | 159 static UNUSED void sel4bench_set_count_event(counter_t counter, event_id_t id);
|
/seL4-refos-master/libs/libplatsupport/src/plat/tk1/ |
H A D | spi.c | 133 tegra_spi_init(enum spi_id id, volatile void* base, spi_chipselect_fn cs_func, argument 137 spi_bus_t* spi_bus = &_spi[id]; 139 spi_bus->regs = base + spi_controller_offsets[id];
|
/seL4-refos-master/libs/libplatsupport/src/plat/zynq7000/ |
H A D | clock.c | 427 switch (clk->id) { 534 switch (clk->id) { 573 switch (clk->id) { 607 if (clk->id != CLK_CPU_6OR4X) { 654 switch (clk->id) { 686 switch (clk->id) { 738 enum clk_id id; local 742 id = clk->id; 744 switch (id) { [all...] |
/seL4-refos-master/projects/util_libs/libethdrivers/src/plat/zynq7000/uboot/ |
H A D | netdev.h | 36 int calxedaxgmac_initialize(u32 id, ulong base_addr); 42 int dnet_eth_initialize(int id, void *regs, unsigned int phy_addr); 61 int macb_eth_initialize(int id, void *regs, unsigned int phy_addr);
|
/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/tk1/ |
H A D | spi.c | 133 tegra_spi_init(enum spi_id id, volatile void* base, spi_chipselect_fn cs_func, argument 137 spi_bus_t* spi_bus = &_spi[id]; 139 spi_bus->regs = base + spi_controller_offsets[id];
|
/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/zynq7000/ |
H A D | clock.c | 427 switch (clk->id) { 534 switch (clk->id) { 573 switch (clk->id) { 607 if (clk->id != CLK_CPU_6OR4X) { 654 switch (clk->id) { 686 switch (clk->id) { 738 enum clk_id id; local 742 id = clk->id; 744 switch (id) { [all...] |
/seL4-refos-master/projects/seL4_libs/libsel4platsupport/src/ |
H A D | irq.c | 95 static inline bool check_irq_id_is_valid(irq_cookie_t *irq_cookie, irq_id_t id) argument 97 if (unlikely(id < 0 || id >= irq_cookie->max_irq_ids)) { 103 static inline bool check_ntfn_id_is_valid(irq_cookie_t *irq_cookie, ntfn_id_t id) argument 105 if (unlikely(id < 0 || id >= irq_cookie->max_ntfn_ids)) { 127 static inline bool check_ntfn_id_is_allocated(irq_cookie_t *irq_cookie, ntfn_id_t id) argument 129 if (likely(irq_cookie->ntfn_table[id].allocated)) { 135 static inline bool check_irq_id_is_allocated(irq_cookie_t *irq_cookie, irq_id_t id) argument 137 if (likely(irq_cookie->irq_table[id] 854 serve_irq(irq_cookie_t *irq_cookie, ntfn_id_t id, seL4_Word mask, seL4_Word badge, seL4_Word *ret_leftover_bits) argument [all...] |
/seL4-refos-master/libs/libsel4platsupport/src/ |
H A D | irq.c | 95 static inline bool check_irq_id_is_valid(irq_cookie_t *irq_cookie, irq_id_t id) argument 97 if (unlikely(id < 0 || id >= irq_cookie->max_irq_ids)) { 103 static inline bool check_ntfn_id_is_valid(irq_cookie_t *irq_cookie, ntfn_id_t id) argument 105 if (unlikely(id < 0 || id >= irq_cookie->max_ntfn_ids)) { 127 static inline bool check_ntfn_id_is_allocated(irq_cookie_t *irq_cookie, ntfn_id_t id) argument 129 if (likely(irq_cookie->ntfn_table[id].allocated)) { 135 static inline bool check_irq_id_is_allocated(irq_cookie_t *irq_cookie, irq_id_t id) argument 137 if (likely(irq_cookie->irq_table[id] 854 serve_irq(irq_cookie_t *irq_cookie, ntfn_id_t id, seL4_Word mask, seL4_Word badge, seL4_Word *ret_leftover_bits) argument [all...] |
/seL4-refos-master/libs/libplatsupport/src/mach/imx/serial/ |
H A D | serial.c | 238 dev->id = defn->id; 273 if ((defn->id == IMX_UART1) && mux_sys_valid(&ops->mux_sys)) {
|
/seL4-refos-master/projects/util_libs/libplatsupport/src/mach/imx/serial/ |
H A D | serial.c | 238 dev->id = defn->id; 273 if ((defn->id == IMX_UART1) && mux_sys_valid(&ops->mux_sys)) {
|
/seL4-refos-master/libs/libplatsupport/src/plat/imx6/ |
H A D | clock.c | 485 if (clk->id == CLK_USB2) { 487 } else if (clk->id != CLK_USB1) { 530 if (clk->id == CLK_USB2) { 532 } else if (clk->id != CLK_USB1) { 551 switch (clk->id) { 574 switch (clk->id) { 605 switch (clk->id) {
|
H A D | i2c.c | 494 i2c_init(enum i2c_id id, ps_io_ops_t* io_ops, i2c_bus_t* i2c) argument 496 struct i2c_bus_priv* dev = _i2c + id; 500 ZF_LOGD("Mapping i2c %d\n", id); 501 switch (id) {
|
/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/imx6/ |
H A D | clock.c | 485 if (clk->id == CLK_USB2) { 487 } else if (clk->id != CLK_USB1) { 530 if (clk->id == CLK_USB2) { 532 } else if (clk->id != CLK_USB1) { 551 switch (clk->id) { 574 switch (clk->id) { 605 switch (clk->id) {
|
H A D | i2c.c | 494 i2c_init(enum i2c_id id, ps_io_ops_t* io_ops, i2c_bus_t* i2c) argument 496 struct i2c_bus_priv* dev = _i2c + id; 500 ZF_LOGD("Mapping i2c %d\n", id); 501 switch (id) {
|
/seL4-refos-master/libs/libplatsupport/src/mach/exynos/ |
H A D | i2c.c | 642 exynos_i2c_init(enum i2c_id id, void* base, mux_sys_t* mux, i2c_bus_t* i2c) argument 644 struct i2c_bus_priv* dev = _i2c + id; 645 ZF_LOGD("Mapping i2c %d", id); 651 i2c_init(enum i2c_id id, ps_io_ops_t* io_ops, i2c_bus_t* i2c) argument 653 struct i2c_bus_priv* dev = _i2c + id; 656 ZF_LOGD("Mapping i2c %d", id); 657 switch (id) {
|
/seL4-refos-master/projects/util_libs/libplatsupport/src/mach/exynos/ |
H A D | i2c.c | 642 exynos_i2c_init(enum i2c_id id, void* base, mux_sys_t* mux, i2c_bus_t* i2c) argument 644 struct i2c_bus_priv* dev = _i2c + id; 645 ZF_LOGD("Mapping i2c %d", id); 651 i2c_init(enum i2c_id id, ps_io_ops_t* io_ops, i2c_bus_t* i2c) argument 653 struct i2c_bus_priv* dev = _i2c + id; 656 ZF_LOGD("Mapping i2c %d", id); 657 switch (id) {
|
/seL4-refos-master/kernel/include/arch/arm/arch/32/mode/ |
H A D | machine.h | 138 static inline void writeContextID(word_t id) argument 141 writeContextIDPL2(id); 143 asm volatile("mcr p15, 0, %0, c13, c0, 1" : : "r"(id));
|
/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/src/ |
H A D | bones.c | 43 goodfruit(id) 44 int id; 49 if(f->fid == -id) { 50 f->fid = id;
|
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/src/ |
H A D | bones.c | 43 goodfruit(id) 44 int id; 49 if(f->fid == -id) { 50 f->fid = id;
|
/seL4-refos-master/libs/libmuslc/include/ |
H A D | resolv.h | 33 unsigned short id; member in struct:__res_state
|
/seL4-refos-master/kernel/src/plat/imx31/machine/ |
H A D | hardware.c | 25 uint32_t id; /* 000 */ member in struct:imx31_l2cc_id
|