Searched refs:id (Results 76 - 100 of 327) sorted by relevance

1234567891011>>

/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/imx8m/
H A Dchardev.c29 .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 Dchardev.c31 .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 Dchardev.c29 .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 Dchardev.c29 .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 Dchardev.c29 .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 Dsmp.h18 int is_core_up(int id);
/seL4-refos-master/seL4_tools/elfloader-tool/include/arch-arm/armv/armv8-a/32/armv/
H A Dsmp.h18 int is_core_up(int id);
/seL4-refos-master/seL4_tools/elfloader-tool/include/arch-arm/armv/armv7ve/armv/
H A Dsmp.h18 int is_core_up(int id);
/seL4-refos-master/seL4_tools/elfloader-tool/include/arch-arm/armv/armv8-a/64/armv/
H A Dsmp.h18 int is_core_up(int id);
/seL4-refos-master/tools/elfloader/include/arch-arm/armv/armv7ve/armv/
H A Dsmp.h18 int is_core_up(int id);
/seL4-refos-master/tools/elfloader/include/arch-arm/armv/armv7-a/armv/
H A Dsmp.h18 int is_core_up(int id);
/seL4-refos-master/tools/elfloader/include/arch-arm/armv/armv8-a/32/armv/
H A Dsmp.h18 int is_core_up(int id);
/seL4-refos-master/tools/elfloader/include/arch-arm/armv/armv8-a/64/armv/
H A Dsmp.h18 int is_core_up(int id);
/seL4-refos-master/libs/libplatsupport/src/plat/polarfire/
H A Dchardev.c27 .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 Dchardev.c27 .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 Dlight.c22 * (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 Dlight.c22 * (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 Dchardev.c33 .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 Dchardev.c33 .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 Dclock.c42 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 Dclock.c42 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 Dsrc.c68 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 Dchardev.c32 .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 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)
/seL4-refos-master/projects/util_libs/libplatsupport/src/mach/nvidia/
H A Dchardev.c32 .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) {

Completed in 119 milliseconds

1234567891011>>