/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/bcm2837/ |
H A D | serial.c | 78 dev->id = defn->id;
|
/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/fvp/ |
H A D | serial.c | 70 dev->id = defn->id;
|
/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/hikey/ |
H A D | rtc.c | 79 if (config.id < RTC0 || config.id > RTC1) {
|
H A D | serial.c | 67 dev->id = defn->id;
|
/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/omap3/ |
H A D | serial.c | 67 dev->id = defn->id;
|
/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/pc99/ |
H A D | keyboard_chardev.c | 75 dev->id = defn->id;
|
/seL4-refos-master/libs/libplatsupport/src/plat/rockpro64/ |
H A D | serial.c | 69 dev->id = defn->id;
|
/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/rockpro64/ |
H A D | serial.c | 69 dev->id = defn->id;
|
/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/qemu-arm-virt/ |
H A D | serial.c | 69 dev->id = defn->id;
|
/seL4-refos-master/libs/libplatsupport/src/plat/qemu-arm-virt/ |
H A D | serial.c | 69 dev->id = defn->id;
|
/seL4-refos-master/projects/util_libs/libplatsupport/mach_include/zynq/platsupport/mach/ |
H A D | timer.h | 68 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 D | timer.h | 68 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 D | kernel_logging.h | 40 return entry->id; 50 entry->id = key;
|
/seL4-refos-master/libs/libplatsupport/src/arch/arm/ |
H A D | dma330.c | 205 } 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 D | unimplemented.h | 22 #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 D | dma330.c | 205 } 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 D | unimplemented.h | 21 #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 D | timer.c | 153 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 D | timer.c | 153 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 D | gpio.c | 308 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 D | gpio.c | 308 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 D | qtext.h | 30 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 D | qtext.h | 30 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 D | timer_create.c | 64 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 D | tmu.h | 35 * @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);
|