Searched refs:simple (Results 1 - 25 of 77) sorted by relevance

1234

/seL4-refos-master/libs/libsel4simple-default/include/simple-default/
H A Dsimple-default.h17 #include <simple/simple.h>
19 void simple_default_init_bootinfo(simple_t *simple, seL4_BootInfo *bi);
20 void simple_default_init_arch_simple(arch_simple_t *simple, void *data);
/seL4-refos-master/projects/seL4_libs/libsel4simple-default/include/simple-default/
H A Dsimple-default.h17 #include <simple/simple.h>
19 void simple_default_init_bootinfo(simple_t *simple, seL4_BootInfo *bi);
20 void simple_default_init_arch_simple(arch_simple_t *simple, void *data);
/seL4-refos-master/libs/libsel4simple/include/simple/
H A Dsimple_helpers.h17 #include <simple/simple.h>
20 bool simple_is_untyped_cap(simple_t *simple, seL4_CPtr pos);
24 seL4_CPtr simple_last_valid_cap(simple_t *simple);
26 void simple_make_vka(simple_t *simple, vka_t *vka);
H A Dsimple.h20 #include <simple/arch/simple.h>
197 * Get simple to print all the information it has about its environment
249 static inline void *simple_get_frame_info(simple_t *simple, void *paddr, int size_bits, seL4_CPtr *frame_cap, argument
252 if (!simple) {
256 if (!simple->frame_info) {
261 return simple->frame_info(simple->data, paddr, size_bits, frame_cap, ut_offset);
264 static inline seL4_Error simple_get_frame_cap(simple_t *simple, void *paddr, int size_bits, cspacepath_t *path) argument
266 if (!simple) {
277 simple_get_frame_vaddr(simple_t *simple, void *paddr, int size_bits) argument
292 simple_get_IRQ_control(simple_t *simple, int irq, cspacepath_t path) argument
305 simple_get_IRQ_handler(simple_t *simple, int irq, cspacepath_t path) argument
318 simple_ASIDPool_assign(simple_t *simple, seL4_CPtr vspace) argument
333 simple_get_IOPort_cap(simple_t *simple, uint16_t start_port, uint16_t end_port, seL4_Word root, seL4_Word dest, seL4_Word depth) argument
344 simple_get_cap_count(simple_t *simple) argument
356 simple_get_nth_cap(simple_t *simple, int n) argument
371 simple_get_cnode_size_bits(simple_t *simple) argument
385 simple_init_cap(simple_t *simple, seL4_CPtr cap) argument
400 simple_get_cnode(simple_t *simple) argument
405 simple_get_tcb(simple_t *simple) argument
410 simple_get_sc(UNUSED simple_t *simple) argument
419 simple_get_pd(simple_t *simple) argument
424 simple_get_irq_ctrl(simple_t *simple) argument
429 simple_get_init_cap(simple_t *simple, seL4_CPtr cap) argument
434 simple_get_untyped_count(simple_t *simple) argument
448 simple_get_nth_untyped(simple_t *simple, int n, size_t *size_bits, uintptr_t *paddr, bool *device) argument
463 simple_get_userimage_count(simple_t *simple) argument
477 simple_get_nth_userimage(simple_t *simple, int n) argument
490 simple_get_core_count(simple_t *simple) argument
505 simple_get_iospace(simple_t *simple, uint16_t domainID, uint16_t deviceID, cspacepath_t *path) argument
522 simple_get_iospace_cap_count(simple_t *simple, int *count) argument
544 simple_get_nth_iospace_cap(simple_t *simple, int n) argument
564 simple_get_sid_ctrl(simple_t *simple) argument
569 simple_get_cb_ctrl(simple_t *simple) argument
575 simple_print(simple_t *simple) argument
589 simple_get_sched_ctrl(simple_t *simple, int core) argument
607 simple_get_extended_bootinfo_length(simple_t *simple, seL4_Word type) argument
620 simple_get_extended_bootinfo(simple_t *simple, seL4_Word type, void *dest, ssize_t max_len) argument
[all...]
/seL4-refos-master/projects/seL4_libs/libsel4simple/include/simple/
H A Dsimple_helpers.h17 #include <simple/simple.h>
20 bool simple_is_untyped_cap(simple_t *simple, seL4_CPtr pos);
24 seL4_CPtr simple_last_valid_cap(simple_t *simple);
26 void simple_make_vka(simple_t *simple, vka_t *vka);
H A Dsimple.h20 #include <simple/arch/simple.h>
197 * Get simple to print all the information it has about its environment
249 static inline void *simple_get_frame_info(simple_t *simple, void *paddr, int size_bits, seL4_CPtr *frame_cap, argument
252 if (!simple) {
256 if (!simple->frame_info) {
261 return simple->frame_info(simple->data, paddr, size_bits, frame_cap, ut_offset);
264 static inline seL4_Error simple_get_frame_cap(simple_t *simple, void *paddr, int size_bits, cspacepath_t *path) argument
266 if (!simple) {
277 simple_get_frame_vaddr(simple_t *simple, void *paddr, int size_bits) argument
292 simple_get_IRQ_control(simple_t *simple, int irq, cspacepath_t path) argument
305 simple_get_IRQ_handler(simple_t *simple, int irq, cspacepath_t path) argument
318 simple_ASIDPool_assign(simple_t *simple, seL4_CPtr vspace) argument
333 simple_get_IOPort_cap(simple_t *simple, uint16_t start_port, uint16_t end_port, seL4_Word root, seL4_Word dest, seL4_Word depth) argument
344 simple_get_cap_count(simple_t *simple) argument
356 simple_get_nth_cap(simple_t *simple, int n) argument
371 simple_get_cnode_size_bits(simple_t *simple) argument
385 simple_init_cap(simple_t *simple, seL4_CPtr cap) argument
400 simple_get_cnode(simple_t *simple) argument
405 simple_get_tcb(simple_t *simple) argument
410 simple_get_sc(UNUSED simple_t *simple) argument
419 simple_get_pd(simple_t *simple) argument
424 simple_get_irq_ctrl(simple_t *simple) argument
429 simple_get_init_cap(simple_t *simple, seL4_CPtr cap) argument
434 simple_get_untyped_count(simple_t *simple) argument
448 simple_get_nth_untyped(simple_t *simple, int n, size_t *size_bits, uintptr_t *paddr, bool *device) argument
463 simple_get_userimage_count(simple_t *simple) argument
477 simple_get_nth_userimage(simple_t *simple, int n) argument
490 simple_get_core_count(simple_t *simple) argument
505 simple_get_iospace(simple_t *simple, uint16_t domainID, uint16_t deviceID, cspacepath_t *path) argument
522 simple_get_iospace_cap_count(simple_t *simple, int *count) argument
544 simple_get_nth_iospace_cap(simple_t *simple, int n) argument
564 simple_get_sid_ctrl(simple_t *simple) argument
569 simple_get_cb_ctrl(simple_t *simple) argument
575 simple_print(simple_t *simple) argument
589 simple_get_sched_ctrl(simple_t *simple, int core) argument
607 simple_get_extended_bootinfo_length(simple_t *simple, seL4_Word type) argument
620 simple_get_extended_bootinfo(simple_t *simple, seL4_Word type, void *dest, ssize_t max_len) argument
[all...]
/seL4-refos-master/libs/libsel4platsupport/arch_include/x86/sel4platsupport/arch/
H A Dio.h16 #include <simple/simple.h>
23 * @param simple Simple interface that will be used to retrieve IOPort capabilities. This pointer
30 int sel4platsupport_get_io_port_ops(ps_io_port_ops_t *ops, simple_t *simple, vka_t *vka);
/seL4-refos-master/projects/seL4_libs/libsel4platsupport/arch_include/x86/sel4platsupport/arch/
H A Dio.h16 #include <simple/simple.h>
23 * @param simple Simple interface that will be used to retrieve IOPort capabilities. This pointer
30 int sel4platsupport_get_io_port_ops(ps_io_port_ops_t *ops, simple_t *simple, vka_t *vka);
/seL4-refos-master/libs/libsel4platsupport/include/sel4platsupport/
H A Dpmem.h16 #include <simple/simple.h>
27 * @param simple libsel4simple implementation
30 int sel4platsupport_get_num_pmem_regions(simple_t *simple);
34 * @param simple libsel4simple implementation
39 int sel4platsupport_get_pmem_region_list(simple_t *simple, size_t max_length, pmem_region_t *region_list);
H A Ddevice.h16 #include <simple/simple.h>
17 #include <simple/arch/simple.h>
51 * @param simple to get the cap from
56 seL4_Error sel4platsupport_copy_irq_cap(vka_t *vka, simple_t *simple, ps_irq_t *irq,
H A Dio.h18 #include <simple/simple.h>
26 * NOTE: All vspace, vka, simple interfaces that are passed in *MUST* remain
31 * simple, vspace and vka interfaces that were passed in to initialise these
37 * provided simple, vspace and vka
56 * Create a new FDT ops structure using a provided simple
59 * @param simple An initialised simple interface
63 int sel4platsupport_new_fdt_ops(ps_io_fdt_t *io_fdt, simple_t *simple, ps_malloc_ops_t *malloc_ops);
72 * @param simple
[all...]
H A Dplatsupport.h16 #include <simple/simple.h>
30 platsupport_serial_setup_simple(vspace_t *vspace, simple_t *simple, vka_t *vka);
/seL4-refos-master/projects/seL4_libs/libsel4platsupport/include/sel4platsupport/
H A Dpmem.h16 #include <simple/simple.h>
27 * @param simple libsel4simple implementation
30 int sel4platsupport_get_num_pmem_regions(simple_t *simple);
34 * @param simple libsel4simple implementation
39 int sel4platsupport_get_pmem_region_list(simple_t *simple, size_t max_length, pmem_region_t *region_list);
H A Ddevice.h16 #include <simple/simple.h>
17 #include <simple/arch/simple.h>
51 * @param simple to get the cap from
56 seL4_Error sel4platsupport_copy_irq_cap(vka_t *vka, simple_t *simple, ps_irq_t *irq,
H A Dio.h18 #include <simple/simple.h>
26 * NOTE: All vspace, vka, simple interfaces that are passed in *MUST* remain
31 * simple, vspace and vka interfaces that were passed in to initialise these
37 * provided simple, vspace and vka
56 * Create a new FDT ops structure using a provided simple
59 * @param simple An initialised simple interface
63 int sel4platsupport_new_fdt_ops(ps_io_fdt_t *io_fdt, simple_t *simple, ps_malloc_ops_t *malloc_ops);
72 * @param simple
[all...]
H A Dplatsupport.h16 #include <simple/simple.h>
30 platsupport_serial_setup_simple(vspace_t *vspace, simple_t *simple, vka_t *vka);
/seL4-refos-master/libs/libsel4utils/arch_include/x86/sel4utils/arch/
H A Dtsc.h16 #include <simple/simple.h>
19 // uses the simple extended bootinfo interface to attempt to determine the tsc frequency
22 x86_get_tsc_freq_from_simple(simple_t *simple) { argument
23 // the simple interface is a bit awkward and doesn't give us a way to just get the last 4
27 ssize_t ret = simple_get_extended_bootinfo(simple, SEL4_BOOTINFO_HEADER_X86_TSC_FREQ, buf, sizeof(buf));
/seL4-refos-master/projects/seL4_libs/libsel4utils/arch_include/x86/sel4utils/arch/
H A Dtsc.h16 #include <simple/simple.h>
19 // uses the simple extended bootinfo interface to attempt to determine the tsc frequency
22 x86_get_tsc_freq_from_simple(simple_t *simple) { argument
23 // the simple interface is a bit awkward and doesn't give us a way to just get the last 4
27 ssize_t ret = simple_get_extended_bootinfo(simple, SEL4_BOOTINFO_HEADER_X86_TSC_FREQ, buf, sizeof(buf));
/seL4-refos-master/libs/libsel4simple-default/src/arch/riscv/
H A Ddefault.c20 #include <simple-default/simple-default.h>
29 simple_default_init_arch_simple(arch_simple_t *simple, void *data) argument
31 simple->data = data;
32 simple->irq = simple_default_get_irq;
/seL4-refos-master/projects/seL4_libs/libsel4simple-default/src/arch/riscv/
H A Ddefault.c20 #include <simple-default/simple-default.h>
29 simple_default_init_arch_simple(arch_simple_t *simple, void *data) argument
31 simple->data = data;
32 simple->irq = simple_default_get_irq;
/seL4-refos-master/libs/libsel4simple/src/
H A Dsimple.c13 #include <simple/simple_helpers.h>
15 bool simple_is_untyped_cap(simple_t *simple, seL4_CPtr pos) argument
19 for (i = 0; i < simple_get_untyped_count(simple); i++) {
20 seL4_CPtr ut_pos = simple_get_nth_untyped(simple, i, NULL, NULL, NULL);
33 simple_t *simple = data; local
34 seL4_CNode cnode = simple_get_cnode(simple);
38 seL4_Error error = seL4_CNode_Copy(cnode, simple_get_cap_count(simple) + i, seL4_WordBits, cnode, cnode, seL4_WordBits, seL4_AllRights);
41 error = seL4_CNode_Copy(cnode, simple_get_cap_count(simple) + i, seL4_WordBits, cnode, cnode, seL4_WordBits, seL4_AllRights);
45 error = seL4_CNode_Delete(cnode, simple_get_cap_count(simple) + i, seL4_WordBits);
49 error = seL4_CNode_Delete(cnode, simple_get_cap_count(simple)
62 simple_t *simple = data; local
72 simple_make_vka(simple_t *simple, vka_t *vka) argument
83 simple_last_valid_cap(simple_t *simple) argument
[all...]
/seL4-refos-master/projects/seL4_libs/libsel4simple/src/
H A Dsimple.c13 #include <simple/simple_helpers.h>
15 bool simple_is_untyped_cap(simple_t *simple, seL4_CPtr pos) argument
19 for (i = 0; i < simple_get_untyped_count(simple); i++) {
20 seL4_CPtr ut_pos = simple_get_nth_untyped(simple, i, NULL, NULL, NULL);
33 simple_t *simple = data; local
34 seL4_CNode cnode = simple_get_cnode(simple);
38 seL4_Error error = seL4_CNode_Copy(cnode, simple_get_cap_count(simple) + i, seL4_WordBits, cnode, cnode, seL4_WordBits, seL4_AllRights);
41 error = seL4_CNode_Copy(cnode, simple_get_cap_count(simple) + i, seL4_WordBits, cnode, cnode, seL4_WordBits, seL4_AllRights);
45 error = seL4_CNode_Delete(cnode, simple_get_cap_count(simple) + i, seL4_WordBits);
49 error = seL4_CNode_Delete(cnode, simple_get_cap_count(simple)
62 simple_t *simple = data; local
72 simple_make_vka(simple_t *simple, vka_t *vka) argument
83 simple_last_valid_cap(simple_t *simple) argument
[all...]
/seL4-refos-master/projects/seL4_libs/libsel4simple/arch_include/arm/simple/arch/
H A Dsimple.h53 static inline seL4_Error arch_simple_get_IOPort_cap(UNUSED arch_simple_t *simple, UNUSED uint16_t start_port, argument
61 static inline seL4_Error arch_simple_get_IRQ_trigger(arch_simple_t *simple, int irq, int trigger, argument
64 if (!simple) {
68 if (!simple->irq_trigger) {
73 return simple->irq_trigger(simple->data, irq, trigger, 0, path.root, path.capPtr, path.capDepth);
76 static inline seL4_Error arch_simple_get_IRQ_trigger_cpu(arch_simple_t *simple, int irq, int trigger, int core, argument
79 if (!simple) {
83 if (!simple->irq_trigger) {
88 return simple
[all...]
/seL4-refos-master/libs/libsel4simple/arch_include/arm/simple/arch/
H A Dsimple.h53 static inline seL4_Error arch_simple_get_IOPort_cap(UNUSED arch_simple_t *simple, UNUSED uint16_t start_port, argument
61 static inline seL4_Error arch_simple_get_IRQ_trigger(arch_simple_t *simple, int irq, int trigger, argument
64 if (!simple) {
68 if (!simple->irq_trigger) {
73 return simple->irq_trigger(simple->data, irq, trigger, 0, path.root, path.capPtr, path.capDepth);
76 static inline seL4_Error arch_simple_get_IRQ_trigger_cpu(arch_simple_t *simple, int irq, int trigger, int core, argument
79 if (!simple) {
83 if (!simple->irq_trigger) {
88 return simple
[all...]
/seL4-refos-master/libs/libsel4platsupport/src/arch/arm/
H A Dpmem.c17 int sel4platsupport_get_num_pmem_regions(UNUSED simple_t *simple) { argument
21 int sel4platsupport_get_pmem_region_list(UNUSED simple_t *simple, UNUSED size_t max_length, UNUSED pmem_region_t *region_list) { argument

Completed in 48 milliseconds

1234