/seL4-refos-master/libs/libsel4simple-default/include/simple-default/ |
H A D | simple-default.h | 17 #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 D | simple-default.h | 17 #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 D | simple_helpers.h | 17 #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 D | simple.h | 20 #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 D | simple_helpers.h | 17 #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 D | simple.h | 20 #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 D | io.h | 16 #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 D | io.h | 16 #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 D | pmem.h | 16 #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 D | device.h | 16 #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 D | io.h | 18 #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 D | platsupport.h | 16 #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 D | pmem.h | 16 #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 D | device.h | 16 #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 D | io.h | 18 #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 D | platsupport.h | 16 #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 D | tsc.h | 16 #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 D | tsc.h | 16 #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 D | default.c | 20 #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 D | default.c | 20 #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 D | simple.c | 13 #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 D | simple.c | 13 #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 D | simple.h | 53 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 D | simple.h | 53 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 D | pmem.c | 17 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
|