include/simple/simple.h

32  * @param data cookie for the underlying implementation
40 typedef seL4_Error(*simple_get_frame_cap_fn)(void *data, void *paddr, int size_bits, cspacepath_t *path);
47  * @param data cookie for the underlying implementation
56 typedef void *(*simple_get_frame_mapping_fn)(void *data, void *paddr, int size_bits);
59  * Request data to a region of physical memory.
63  * @param data cookie for the underlying implementation
74 typedef void *(*simple_get_frame_info_fn)(void *data, void *paddr, int size_bits, seL4_CPtr *cap, seL4_Word *ut_offset);
79  * @param data cookie for the underlying implementation
83 typedef seL4_Error(*simple_ASIDPool_assign_fn)(void *data, seL4_CPtr vspace);
88  * @param data cookie for the underlying implementation
90 typedef int (*simple_get_cap_count_fn)(void *data);
100  * @param data cookie for the underlying implementation
104 typedef seL4_CPtr(*simple_get_nth_cap_fn)(void *data, int n);
109  * @param data for the underlying implementation
114 typedef seL4_CPtr(*simple_get_init_cap_fn)(void *data, seL4_CPtr cap);
119  * @param data for the underlying implementation
122 typedef uint8_t (*simple_get_cnode_size_fn)(void *data);
127  * @param data for the underlying implementation
131 typedef int (*simple_get_untyped_count_fn)(void *data);
135  * @param data cookie for the underlying implementation
144 typedef seL4_CPtr(*simple_get_nth_untyped_fn)(void *data, int n, size_t *size_bits, uintptr_t *paddr, bool *device);
149  * @param data for the underlying implementation
153 typedef int (*simple_get_userimage_count_fn)(void *data);
158  * @param data cookie for the underlying implementation
164 typedef seL4_CPtr(*simple_get_nth_userimage_fn)(void *data, int n);
169  * @param data for the underlying implementation
173 typedef int (*simple_get_core_count_fn)(void *data);
179  * @param data cookie for the underlying implementation
185 typedef seL4_Error(*simple_get_iospace_fn)(void *data, uint16_t domainID, uint16_t deviceID, cspacepath_t *path);
192 typedef seL4_CPtr(*simple_get_sched_ctrl_fn)(void *data, int core);
199 typedef void (*simple_print_fn)(void *data);
206  * @param data cookie for the underlying implementation
211 typedef ssize_t (*simple_get_extended_bootinfo_len_fn)(void *data, seL4_Word type);
218  * @param data cookie for the underlying implementation
225 typedef ssize_t (*simple_get_extended_bootinfo_fn)(void *data, seL4_Word type, void *dest, ssize_t max_len);
228     void *data;
261     return simple->frame_info(simple->data, paddr, size_bits, frame_cap, ut_offset);
274     return simple->frame_cap(simple->data, paddr, size_bits, path);
284         return simple->frame_mapping(simple->data, paddr, size_bits);
302     return simple->arch_simple.irq(simple->data, irq, path.root, path.capPtr, path.capDepth);
315     return simple->arch_simple.irq(simple->data, irq, path.root, path.capPtr, path.capDepth);
329     return simple->ASID_assign(simple->data, vspace);
353     return simple->cap_count(simple->data);
368     return simple->nth_cap(simple->data, n);
382     return simple->cnode_size(simple->data);
397     return simple->init_cap(simple->data, cap);
445     return simple->untyped_count(simple->data);
460     return simple->nth_untyped(simple->data, n, size_bits, paddr, device);
474     return simple->userimage_count(simple->data);
487     return simple->nth_userimage(simple->data, n);
501     return simple->core_count(simple->data);
516     return simple->arch_simple.iospace(simple->data, domainID, deviceID, path);
528     if (!simple->data) {
529         ZF_LOGE("Simple data is NULL");
541     return simple->arch_simple.iospace_cap_count(simple->data, count);
550     if (!simple->data) {
551         ZF_LOGE("Simple data is NULL");
559     return simple->arch_simple.iospace_get_nth_cap(simple->data, n);
586     simple->print(simple->data);
604     return simple->sched_ctrl(simple->data, core);
617     return simple->extended_bootinfo_len(simple->data, type);
630     return simple->extended_bootinfo(simple->data, type, dest, max_len);