/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/imx8m/ |
H A D | chardev.c | 29 .id = IMX_UART##devid, \ 45 ps_cdev_init(enum chardev_id id, const ps_io_ops_t* o, struct ps_chardevice* d) { argument 48 if (dev_defn[i].id == id) {
|
/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/odroidc2/ |
H A D | chardev.c | 31 .id = UART##devid, \ 47 ps_cdev_init(enum chardev_id id, const ps_io_ops_t *o, struct ps_chardevice *d) argument 51 if (dev_defn[i].id == id) {
|
/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/omap3/ |
H A D | chardev.c | 29 .id = OMAP3_UART##devid, \ 46 ps_cdev_init(enum chardev_id id, const ps_io_ops_t* o, argument 50 if (dev_defn[i].id == id) {
|
/seL4-refos-master/libs/libplatsupport/src/plat/rockpro64/ |
H A D | chardev.c | 29 .id = RP_UART##devid, \ 45 ps_cdev_init(enum chardev_id id, const ps_io_ops_t* o, struct ps_chardevice* d) { argument 48 if (dev_defn[i].id == id) {
|
/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/rockpro64/ |
H A D | chardev.c | 29 .id = RP_UART##devid, \ 45 ps_cdev_init(enum chardev_id id, const ps_io_ops_t* o, struct ps_chardevice* d) { argument 48 if (dev_defn[i].id == id) {
|
/seL4-refos-master/seL4_tools/elfloader-tool/include/arch-arm/armv/armv7-a/armv/ |
H A D | smp.h | 18 int is_core_up(int id);
|
/seL4-refos-master/seL4_tools/elfloader-tool/include/arch-arm/armv/armv8-a/32/armv/ |
H A D | smp.h | 18 int is_core_up(int id);
|
/seL4-refos-master/seL4_tools/elfloader-tool/include/arch-arm/armv/armv7ve/armv/ |
H A D | smp.h | 18 int is_core_up(int id);
|
/seL4-refos-master/seL4_tools/elfloader-tool/include/arch-arm/armv/armv8-a/64/armv/ |
H A D | smp.h | 18 int is_core_up(int id);
|
/seL4-refos-master/tools/elfloader/include/arch-arm/armv/armv7ve/armv/ |
H A D | smp.h | 18 int is_core_up(int id);
|
/seL4-refos-master/tools/elfloader/include/arch-arm/armv/armv7-a/armv/ |
H A D | smp.h | 18 int is_core_up(int id);
|
/seL4-refos-master/tools/elfloader/include/arch-arm/armv/armv8-a/32/armv/ |
H A D | smp.h | 18 int is_core_up(int id);
|
/seL4-refos-master/tools/elfloader/include/arch-arm/armv/armv8-a/64/armv/ |
H A D | smp.h | 18 int is_core_up(int id);
|
/seL4-refos-master/libs/libplatsupport/src/plat/polarfire/ |
H A D | chardev.c | 27 .id = UART##devid, \ 43 ps_cdev_init(enum chardev_id id, const ps_io_ops_t *o, struct ps_chardevice *d) argument 47 if (dev_defn[i].id == id) {
|
/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/polarfire/ |
H A D | chardev.c | 27 .id = UART##devid, \ 43 ps_cdev_init(enum chardev_id id, const ps_io_ops_t *o, struct ps_chardevice *d) argument 47 if (dev_defn[i].id == id) {
|
/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/src/ |
H A D | light.c | 22 * (type, id) pair. For light sources attached to objects, this id 59 new_light_source(x, y, range, type, id) 62 genericptr_t id; 78 ls->id = id; 90 del_light_source(type, id) 92 genericptr_t id; 101 case LS_OBJECT: tmp_id = (genericptr_t)(((struct obj *)id)->o_id); 103 case LS_MONSTER: tmp_id = (genericptr_t)(((struct monst *)id) [all...] |
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/src/ |
H A D | light.c | 22 * (type, id) pair. For light sources attached to objects, this id 59 new_light_source(x, y, range, type, id) 62 genericptr_t id; 78 ls->id = id; 90 del_light_source(type, id) 92 genericptr_t id; 101 case LS_OBJECT: tmp_id = (genericptr_t)(((struct obj *)id)->o_id); 103 case LS_MONSTER: tmp_id = (genericptr_t)(((struct monst *)id) [all...] |
/seL4-refos-master/libs/libplatsupport/src/plat/pc99/ |
H A D | chardev.c | 33 .id = PC99_SERIAL_COM##devid, \ 41 .id = PC99_TEXT_EGA, \ 51 .id = PC99_KEYBOARD_PS2, \ 68 ps_cdev_init(enum chardev_id id, const ps_io_ops_t* io_ops, struct ps_chardevice* dev) { argument 71 if (dev_defn[i].id == id) {
|
/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/pc99/ |
H A D | chardev.c | 33 .id = PC99_SERIAL_COM##devid, \ 41 .id = PC99_TEXT_EGA, \ 51 .id = PC99_KEYBOARD_PS2, \ 68 ps_cdev_init(enum chardev_id id, const ps_io_ops_t* io_ops, struct ps_chardevice* dev) { argument 71 if (dev_defn[i].id == id) {
|
/seL4-refos-master/libs/libplatsupport/src/arch/arm/ |
H A D | clock.c | 42 assert(clk->id < NCLOCKS); 43 return ps_freq_default[clk->id]; 61 static clk_t *get_clock_default(clock_sys_t *clock_sys UNUSED, enum clk_id id) argument 63 if (id >= NCLOCKS) { 67 clk = ps_clocks[id]; 94 int clock_sys_set_default_freq(enum clk_id id, freq_t hz) argument 96 if (id >= NCLOCKS) { 99 ps_freq_default[id] = hz; 104 clk_t *ps_get_clock(clock_sys_t *sys, enum clk_id id) argument 106 if (id > 179 clk_generate_fixed_clk(enum clk_id id, freq_t frequency) argument [all...] |
/seL4-refos-master/projects/util_libs/libplatsupport/src/arch/arm/ |
H A D | clock.c | 42 assert(clk->id < NCLOCKS); 43 return ps_freq_default[clk->id]; 61 static clk_t *get_clock_default(clock_sys_t *clock_sys UNUSED, enum clk_id id) argument 63 if (id >= NCLOCKS) { 67 clk = ps_clocks[id]; 94 int clock_sys_set_default_freq(enum clk_id id, freq_t hz) argument 96 if (id >= NCLOCKS) { 99 ps_freq_default[id] = hz; 104 clk_t *ps_get_clock(clock_sys_t *sys, enum clk_id id) argument 106 if (id > 179 clk_generate_fixed_clk(enum clk_id id, freq_t frequency) argument [all...] |
/seL4-refos-master/libs/libplatsupport/src/plat/zynq7000/ |
H A D | src.c | 68 reset_controller_assert_reset(src_dev_t* dev, enum src_rst_id id) argument 71 (void)id; 82 reset_controller_init(enum src_id id, ps_io_ops_t* ops, src_dev_t* dev) argument 85 if (id < 0 || id >= NSRC) {
|
/seL4-refos-master/libs/libplatsupport/src/mach/nvidia/ |
H A D | chardev.c | 32 .id = NV_UART##devid, \ 40 .id = NV_UART##devid##_ASYNC, \ 59 ps_cdev_init(enum chardev_id id, const ps_io_ops_t* o, struct ps_chardevice* d) { argument 62 if (dev_defn[i].id == id) {
|
/seL4-refos-master/projects/util_libs/libethdrivers/src/plat/imx6/ |
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)
|
/seL4-refos-master/projects/util_libs/libplatsupport/src/mach/nvidia/ |
H A D | chardev.c | 32 .id = NV_UART##devid, \ 40 .id = NV_UART##devid##_ASYNC, \ 59 ps_cdev_init(enum chardev_id id, const ps_io_ops_t* o, struct ps_chardevice* d) { argument 62 if (dev_defn[i].id == id) {
|