Searched refs:id (Results 176 - 200 of 327) sorted by relevance

1234567891011>>

/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/bcm2837/
H A Dserial.c78 dev->id = defn->id;
/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/fvp/
H A Dserial.c70 dev->id = defn->id;
/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/hikey/
H A Drtc.c79 if (config.id < RTC0 || config.id > RTC1) {
H A Dserial.c67 dev->id = defn->id;
/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/omap3/
H A Dserial.c67 dev->id = defn->id;
/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/pc99/
H A Dkeyboard_chardev.c75 dev->id = defn->id;
/seL4-refos-master/libs/libplatsupport/src/plat/rockpro64/
H A Dserial.c69 dev->id = defn->id;
/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/rockpro64/
H A Dserial.c69 dev->id = defn->id;
/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/qemu-arm-virt/
H A Dserial.c69 dev->id = defn->id;
/seL4-refos-master/libs/libplatsupport/src/plat/qemu-arm-virt/
H A Dserial.c69 dev->id = defn->id;
/seL4-refos-master/projects/util_libs/libplatsupport/mach_include/zynq/platsupport/mach/
H A Dtimer.h68 ttc_id_t id; member in struct:__anon6
82 ttc_id_t id; member in struct:__anon7
/seL4-refos-master/libs/libplatsupport/mach_include/zynq/platsupport/mach/
H A Dtimer.h68 ttc_id_t id; member in struct:__anon2
82 ttc_id_t id; member in struct:__anon3
/seL4-refos-master/projects/seL4_libs/libsel4bench/include/sel4bench/
H A Dkernel_logging.h40 return entry->id;
50 entry->id = key;
/seL4-refos-master/libs/libplatsupport/src/arch/arm/
H A Ddma330.c205 } id; member in struct:dma330_map
481 dma330_init_base(enum dma330_id id, void* dma330_base, clock_sys_t* clk_sys, dma330_t* dma330) argument
484 assert(id >= 0);
485 assert(id < NPL330);
495 dev = &_dma330_dev[id];
501 v |= dev->regs->id.periph[0] << 0;
502 v |= dev->regs->id.periph[1] << 8;
503 v |= dev->regs->id.periph[2] << 16;
504 v |= dev->regs->id.periph[3] << 24;
511 v |= dev->regs->id
525 dma330_init(enum dma330_id id, struct ps_io_ops* ops, dma330_t* dma330) argument
[all...]
/seL4-refos-master/projects/util_libs/libethdrivers/src/plat/zynq7000/
H A Dunimplemented.h22 #define RESOURCE(mapper, id) ps_io_map(mapper, (uintptr_t) id##_PADDR, id##_SIZE, 0, PS_MEM_NORMAL)
23 #define UNRESOURCE(mapper, id, addr) ps_io_unmap(mapper, addr, id##_SIZE)
199 ulong bi_arch_number; /* unique id for this board */
/seL4-refos-master/projects/util_libs/libplatsupport/src/arch/arm/
H A Ddma330.c205 } id; member in struct:dma330_map
481 dma330_init_base(enum dma330_id id, void* dma330_base, clock_sys_t* clk_sys, dma330_t* dma330) argument
484 assert(id >= 0);
485 assert(id < NPL330);
495 dev = &_dma330_dev[id];
501 v |= dev->regs->id.periph[0] << 0;
502 v |= dev->regs->id.periph[1] << 8;
503 v |= dev->regs->id.periph[2] << 16;
504 v |= dev->regs->id.periph[3] << 24;
511 v |= dev->regs->id
525 dma330_init(enum dma330_id id, struct ps_io_ops* ops, dma330_t* dma330) argument
[all...]
/seL4-refos-master/projects/util_libs/libethdrivers/src/plat/tx2/
H A Dunimplemented.h21 #define RESOURCE(mapper, id) ps_io_map(mapper, (uintptr_t) id##_PADDR, id##_SIZE, 0, PS_MEM_NORMAL)
22 #define UNRESOURCE(mapper, id, addr) ps_io_unmap(mapper, addr, id##_SIZE)
198 ulong bi_arch_number; /* unique id for this board */
/seL4-refos-master/projects/util_libs/libplatsupport/src/mach/zynq/
H A Dtimer.c153 static inline size_t ttc_get_timer_shift(ttc_id_t id) argument
155 switch (id) {
183 static inline unsigned ttc_get_irq_pos(ttc_id_t id) argument
185 switch (id) {
213 static inline char *ttc_get_device_path(ttc_id_t id) argument
215 switch (id) {
547 ttc->regs += ttc_get_timer_shift(ttc->id);
558 unsigned irq_pos = ttc_get_irq_pos(ttc->id);
562 ZF_LOGE("Failed to register the IRQ for TTC timer %d", ttc->id);
582 ttc->id
[all...]
/seL4-refos-master/libs/libplatsupport/src/mach/zynq/
H A Dtimer.c153 static inline size_t ttc_get_timer_shift(ttc_id_t id) argument
155 switch (id) {
183 static inline unsigned ttc_get_irq_pos(ttc_id_t id) argument
185 switch (id) {
213 static inline char *ttc_get_device_path(ttc_id_t id) argument
215 switch (id) {
547 ttc->regs += ttc_get_timer_shift(ttc->id);
558 unsigned irq_pos = ttc_get_irq_pos(ttc->id);
562 ZF_LOGE("Failed to register the IRQ for TTC timer %d", ttc->id);
582 ttc->id
[all...]
/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/tk1/
H A Dgpio.c308 enum gpio_pin pin = gpio->id;
338 enum gpio_pin pin = gpio->id;
402 pending = gpio_check_pending(gpio->gpio_sys, gpio->id);
405 gpio_int_clear(gpio->gpio_sys, gpio->id);
411 static int tegra_gpio_init(gpio_sys_t *gpio_sys, int id, enum gpio_dir dir, gpio_t *gpio) argument
415 ZF_LOGV("Configuring GPIO pin %d", id);
417 gpio->id = id;
420 error = gpio_set_pad_mode(gpio_sys, id, GPIO_MODE, dir);
427 error = gpio_set_direction(gpio_sys, id, di
[all...]
/seL4-refos-master/libs/libplatsupport/src/plat/tk1/
H A Dgpio.c308 enum gpio_pin pin = gpio->id;
338 enum gpio_pin pin = gpio->id;
402 pending = gpio_check_pending(gpio->gpio_sys, gpio->id);
405 gpio_int_clear(gpio->gpio_sys, gpio->id);
411 static int tegra_gpio_init(gpio_sys_t *gpio_sys, int id, enum gpio_dir dir, gpio_t *gpio) argument
415 ZF_LOGV("Configuring GPIO pin %d", id);
417 gpio->id = id;
420 error = gpio_set_pad_mode(gpio_sys, id, GPIO_MODE, dir);
427 error = gpio_set_direction(gpio_sys, id, di
[all...]
/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/include/
H A Dqtext.h30 char id[N_HDR][LEN_HDR]; member in struct:qthdr
101 #define COMMON_ID "-" /* Common message id value */
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/include/
H A Dqtext.h30 char id[N_HDR][LEN_HDR]; member in struct:qthdr
101 #define COMMON_ID "-" /* Common message id value */
/seL4-refos-master/libs/libmuslc/src/time/
H A Dtimer_create.c64 int id; local
72 if ((id = self->timer_id) >= 0) {
75 __wait(&self->timer_id, 0, id, 1);
76 __syscall(SYS_timer_delete, id);
/seL4-refos-master/libs/libplatsupport/include/platsupport/
H A Dtmu.h35 * @param[in] id the id of the temperature sensor
40 int ps_tmu_init(enum tmu_id id, ps_io_ops_t* ops, ps_tmu_t* dev);

Completed in 105 milliseconds

1234567891011>>