Searched refs:id (Results 251 - 275 of 327) sorted by relevance

<<11121314

/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/pc99/
H A Dserial.c110 dev->id = defn->id;
/seL4-refos-master/projects/util_libs/libplatsupport/src/mach/zynq/
H A Dltimer.c139 .id = TTC_TIMEOUT,
147 .id = TTC_TIMESTAMP,
/seL4-refos-master/libs/libplatsupport/src/mach/zynq/
H A Dltimer.c139 .id = TTC_TIMEOUT,
147 .id = TTC_TIMESTAMP,
H A Dserial.c420 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 Dsel4bench.h159 static UNUSED void sel4bench_set_count_event(counter_t counter, event_id_t id);
/seL4-refos-master/libs/libplatsupport/src/plat/tk1/
H A Dspi.c133 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 Dclock.c427 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 Dnetdev.h36 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 Dspi.c133 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 Dclock.c427 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 Dirq.c95 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 Dirq.c95 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 Dserial.c238 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 Dserial.c238 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 Dclock.c485 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 Di2c.c494 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 Dclock.c485 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 Di2c.c494 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 Di2c.c642 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 Di2c.c642 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 Dmachine.h138 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 Dbones.c43 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 Dbones.c43 goodfruit(id)
44 int id;
49 if(f->fid == -id) {
50 f->fid = id;
/seL4-refos-master/libs/libmuslc/include/
H A Dresolv.h33 unsigned short id; member in struct:__res_state
/seL4-refos-master/kernel/src/plat/imx31/machine/
H A Dhardware.c25 uint32_t id; /* 000 */ member in struct:imx31_l2cc_id

Completed in 198 milliseconds

<<11121314