| /seL4-refos-master/projects/util_libs/libplatsupport/src/plat/pc99/ |
| H A D | ltimer.c | 59 static size_t get_num_irqs(void *data) argument
67 static int get_nth_irq(void *data, size_t n, ps_irq_t *irq) argument
79 static size_t get_num_pmems(void *data) argument
87 static int hpet_ltimer_get_nth_pmem(void *data, size_t n, pmem_region_t *pmem) argument
147 handle_irq(void *data, ps_irq_acknowledge_fn_t acknowledge_fn, void *ack_data) argument
166 hpet_ltimer_get_time(void *data, uint64_t *time) argument
176 pit_ltimer_get_time(void *data, uint64_t *time) argument
183 get_resolution(void *data, uint64_t *resolution) argument
188 hpet_ltimer_set_timeout(void *data, uint64_t ns, timeout_type_t type) argument
206 pit_ltimer_set_timeout(void *data, uint64_t ns, timeout_type_t type) argument
248 pit_ltimer_reset(void *data) argument
256 hpet_ltimer_reset(void *data) argument
267 destroy(void *data) argument
[all...] |
| /seL4-refos-master/libs/libplatsupport/src/ |
| H A D | ltimer.h | 33 static inline void handle_irq_wrapper(void *data, ps_irq_acknowledge_fn_t acknowledge_fn, void *ack_data) argument
101 static int get_resolution_dummy(void *data, uint64_t *resolution) argument
106 create_ltimer_simple( ltimer_t *ltimer, ps_io_ops_t ops, size_t sz, int (*get_time)(void *data, uint64_t *time), int (*set_timeout)(void *data, uint64_t ns, timeout_type_t type), int (*reset)(void *data), void (*destroy)(void *data) ) argument
[all...] |
| /seL4-refos-master/projects/util_libs/libplatsupport/src/ |
| H A D | ltimer.h | 33 static inline void handle_irq_wrapper(void *data, ps_irq_acknowledge_fn_t acknowledge_fn, void *ack_data) argument
101 static int get_resolution_dummy(void *data, uint64_t *resolution) argument
106 create_ltimer_simple( ltimer_t *ltimer, ps_io_ops_t ops, size_t sz, int (*get_time)(void *data, uint64_t *time), int (*set_timeout)(void *data, uint64_t ns, timeout_type_t type), int (*reset)(void *data), void (*destroy)(void *data) ) argument
[all...] |
| /seL4-refos-master/libs/libplatsupport/arch_include/arm/platsupport/ |
| H A D | i2c.h | 408 static inline int i2c_read(i2c_bus_t *i2c_bus, void *data, size_t size, argument
426 i2c_write(i2c_bus_t *i2c_bus, const void *data, size_t size, bool end_with_repeat_start, i2c_callback_fn cb, void *token) argument
517 i2c_slave_read(i2c_slave_t *i2c_slave, void *data, size_t size, bool end_with_repeat_start, i2c_callback_fn cb, void *token) argument
537 i2c_slave_write(i2c_slave_t *i2c_slave, const void *data, int size, bool end_with_repeat_start, i2c_callback_fn cb, void *token) argument
549 i2c_handle_irq_wrapper(void *data, ps_irq_acknowledge_fn_t ack, void *ack_data) argument
[all...] |
| /seL4-refos-master/projects/util_libs/libplatsupport/arch_include/arm/platsupport/ |
| H A D | i2c.h | 408 static inline int i2c_read(i2c_bus_t *i2c_bus, void *data, size_t size, argument
426 i2c_write(i2c_bus_t *i2c_bus, const void *data, size_t size, bool end_with_repeat_start, i2c_callback_fn cb, void *token) argument
517 i2c_slave_read(i2c_slave_t *i2c_slave, void *data, size_t size, bool end_with_repeat_start, i2c_callback_fn cb, void *token) argument
537 i2c_slave_write(i2c_slave_t *i2c_slave, const void *data, int size, bool end_with_repeat_start, i2c_callback_fn cb, void *token) argument
549 i2c_handle_irq_wrapper(void *data, ps_irq_acknowledge_fn_t ack, void *ack_data) argument
[all...] |
| /seL4-refos-master/projects/util_libs/libfdt/ |
| H A D | fdtget.c | 48 int util_is_printable_string(const void *data, int len) argument
90 int show_data(struct display_info *disp, const char *data, int len) argument
148 const struct fdt_property *data; local
[all...] |
| /seL4-refos-master/projects/util_libs/libethdrivers/src/plat/pc99/ |
| H A D | intel.c | 271 static void phy_write(e1000_dev_t *dev, int phy, int reg, uint16_t data) argument
1001 static void eth_irq_handle(void *data, ps_irq_acknowledge_fn_t acknowledge_fn, void *ack_data) argument
|
| /seL4-refos-master/projects/util_libs/libethdrivers/src/plat/tx2/ |
| H A D | tx2.c | 359 static void eth_irq_handle(void *data, ps_irq_acknowledge_fn_t acknowledge_fn, void *ack_data) argument
|
| /seL4-refos-master/projects/seL4_libs/libsel4platsupport/src/ |
| H A D | irq.c | 525 ack_data_t *data = ack_data; local
|
| /seL4-refos-master/libs/libsel4platsupport/src/ |
| H A D | irq.c | 525 ack_data_t *data = ack_data; local
|
| /seL4-refos-master/libs/libplatsupport/src/plat/rockpro64/ |
| H A D | ltimer.c | 32 static int get_time(void *data, uint64_t *time) argument
42 static int set_timeout(void *data, uint64_t ns, timeout_type_t type) argument
57 static int reset(void *data) argument
68 destroy(void *data) argument
[all...] |
| /seL4-refos-master/projects/util_libs/libplatsupport/src/plat/rockpro64/ |
| H A D | ltimer.c | 32 static int get_time(void *data, uint64_t *time) argument
42 static int set_timeout(void *data, uint64_t ns, timeout_type_t type) argument
57 static int reset(void *data) argument
68 destroy(void *data) argument
[all...] |
| /seL4-refos-master/projects/util_libs/libplatsupport/src/plat/hikey/ |
| H A D | ltimer.c | 35 static int get_time(void *data, uint64_t *time) argument
45 int set_timeout(void *data, uint64_t ns, timeout_type_t type) argument
63 static int reset(void *data) argument
72 static void destroy(void *data) argument
[all...] |
| H A D | dmt.c | 150 static void dmt_handle_irq(void *data, ps_irq_acknowledge_fn_t acknowledge_fn, void *ack_data) argument
|
| /seL4-refos-master/libs/libplatsupport/src/plat/hikey/ |
| H A D | ltimer.c | 35 static int get_time(void *data, uint64_t *time) argument
45 int set_timeout(void *data, uint64_t ns, timeout_type_t type) argument
63 static int reset(void *data) argument
72 static void destroy(void *data) argument
[all...] |
| H A D | dmt.c | 150 static void dmt_handle_irq(void *data, ps_irq_acknowledge_fn_t acknowledge_fn, void *ack_data) argument
|
| /seL4-refos-master/projects/util_libs/libplatsupport/src/plat/hifive/ |
| H A D | ltimer.c | 72 size_t get_num_irqs(void *data) argument
77 static int get_nth_irq(void *data, size_t n, ps_irq_t *irq) argument
85 static size_t get_num_pmems(void *data) argument
90 static int get_nth_pmem(void *data, size_t n, pmem_region_t *paddr) argument
97 static int ltimer_handle_irq(void *data, ps_irq_t *irq) argument
120 static int get_time(void *data, uint64_t *time) argument
130 get_resolution(void *data, uint64_t *resolution) argument
135 set_timeout(void *data, uint64_t ns, timeout_type_t type) argument
157 reset(void *data) argument
168 destroy(void *data) argument
[all...] |
| /seL4-refos-master/libs/libplatsupport/src/plat/hifive/ |
| H A D | ltimer.c | 72 size_t get_num_irqs(void *data) argument
77 static int get_nth_irq(void *data, size_t n, ps_irq_t *irq) argument
85 static size_t get_num_pmems(void *data) argument
90 static int get_nth_pmem(void *data, size_t n, pmem_region_t *paddr) argument
97 static int ltimer_handle_irq(void *data, ps_irq_t *irq) argument
120 static int get_time(void *data, uint64_t *time) argument
130 get_resolution(void *data, uint64_t *resolution) argument
135 set_timeout(void *data, uint64_t ns, timeout_type_t type) argument
157 reset(void *data) argument
168 destroy(void *data) argument
[all...] |
| /seL4-refos-master/kernel/src/plat/pc99/machine/ |
| H A D | intel-vtd.c | 423 uint32_t data, addr; local
|
| /seL4-refos-master/kernel/src/arch/x86/object/ |
| H A D | vcpu.c | 47 char data[VMXON_REGION_SIZE - sizeof(uint32_t)]; member in struct:PACKED
|
| /seL4-refos-master/libs/libplatsupport/src/plat/fvp/ |
| H A D | sp804.c | 118 static void sp804_handle_irq(void *data, ps_irq_acknowledge_fn_t acknowledge_fn, void *ack_data) argument
|
| H A D | ltimer.c | 35 static int get_time(void *data, uint64_t *time) argument
45 int set_timeout(void *data, uint64_t ns, timeout_type_t type) argument
63 static int reset(void *data) argument
72 static void destroy(void *data) argument
[all...] |
| /seL4-refos-master/projects/util_libs/libplatsupport/src/plat/fvp/ |
| H A D | sp804.c | 118 static void sp804_handle_irq(void *data, ps_irq_acknowledge_fn_t acknowledge_fn, void *ack_data) argument
|
| H A D | ltimer.c | 35 static int get_time(void *data, uint64_t *time) argument
45 int set_timeout(void *data, uint64_t ns, timeout_type_t type) argument
63 static int reset(void *data) argument
72 static void destroy(void *data) argument
[all...] |
| /seL4-refos-master/libs/libplatsupport/src/plat/am335x/ |
| H A D | timer.c | 134 void dmt_handle_irq(void *data, ps_irq_acknowledge_fn_t acknowledge_fn, void *ack_data) argument
|