/seL4-camkes-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-camkes-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-camkes-master/tools/rumprun/platform/sel4/arch/arm/ |
H A D | arch.c | 18 arch_init_simple(simple_t *simple) argument 20 simple->arch_simple.data = (void *) simple->data;
|
/seL4-camkes-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-camkes-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-camkes-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-camkes-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-camkes-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-camkes-master/projects/global-components/components/TimeServer/src/plat/pc99/ |
H A D | plat.c | 22 #include <simple/simple.h> 35 // regardless of whether the assembly declared this to have a simple template or not. 37 void camkes_make_simple(simple_t *simple) __attribute__((weak)); 41 // Attempt to detect the presence of a simple interface and try and get the 45 simple_t simple; local 46 camkes_make_simple(&simple); 47 tsc_frequency = x86_get_tsc_freq_from_simple(&simple);
|
/seL4-camkes-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-camkes-master/projects/seL4_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
|
/seL4-camkes-master/projects/global-components/components/modules/dynamic-untyped-allocators/templates/ |
H A D | dynamic-untyped-allocators.template.h | 15 #include <simple/simple.h>
|
/seL4-camkes-master/tools/rumprun/platform/sel4/arch/x86/ |
H A D | arch.c | 22 See libsel4simple/arch_include/x86/simple/arch/simple.h for further documentation */ 28 return seL4_CNode_Copy(root, dest, depth, simple_get_cnode(&env.simple), init->io_port, CONFIG_WORD_SIZE, seL4_AllRights); 32 arch_init_simple(simple_t *simple) argument 34 simple->arch_simple.IOPort_cap = get_IOPort_cap; 35 simple->arch_simple.data = (void *) simple->data;
|
/seL4-camkes-master/projects/camkes-tool/camkes/templates/ |
H A D | component.simple.c | 19 /*- if configuration[me.name].get('simple') -*/ 33 #include <simple/simple.h> 172 /*# We need to have a known cspace size to instantiate a simple. This logic is 188 * the simple */ 380 printf("camkes is too cool to print out simple information\n"); 444 static void camkes_make_arch_simple(arch_simple_t *simple) { argument 445 simple->irq = &simple_camkes_get_irq; 447 simple->iospace = &simple_camkes_get_iospace; 450 simple 484 camkes_make_simple(simple_t *simple) argument [all...] |
/seL4-camkes-master/projects/seL4_libs/libsel4serialserver/include/serial_server/ |
H A D | parent.h | 18 #include <simple/simple.h>
|
/seL4-camkes-master/tools/rumprun/platform/sel4/ |
H A D | main.c | 17 #include <simple/simple.h> 31 env.custom_simple.simple = &env.simple;
|
/seL4-camkes-master/projects/seL4_projects_libs/libsel4rpc/include/sel4rpc/ |
H A D | server.h | 9 #include <simple/simple.h> 27 simple_t *simple; member in struct:sel4rpc_env 31 sel4rpc_handler_t handler_func, void *data, vka_object_t *reply, simple_t *simple);
|
/seL4-camkes-master/projects/seL4_libs/libsel4simple-default/src/arch/x86/ |
H A D | default.c | 21 #include <simple-default/simple-default.h> 81 simple_default_init_arch_simple(arch_simple_t *simple, void *data) argument 83 simple->data = data; 84 simple->msi = simple_default_get_msi; 85 simple->irq = simple_default_get_irq; 86 simple->ioapic = simple_default_get_ioapic; 87 simple->IOPort_cap = simple_default_get_IOPort_cap;
|
/seL4-camkes-master/projects/seL4_libs/libsel4simple-default/src/arch/arm/ |
H A D | default.c | 21 #include <simple-default/simple-default.h> 95 void simple_default_init_arch_simple(arch_simple_t *simple, void *data) argument 97 simple->data = data; 98 simple->irq = simple_default_get_irq; 99 simple->irq_trigger = simple_default_get_irq_trigger; 101 simple->iospace_cap_count = simple_default_get_iospace_cap_count; 102 simple->iospace_get_nth_cap = simple_default_get_iospace_nth_cap;
|
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vchan/include/sel4vchan/ |
H A D | vchan_sharemem.h | 13 #include <simple/simple.h>
|
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vm/include/sel4vm/ |
H A D | boot.h | 9 #include <simple/simple.h> 30 * @param {simple_t *} host_simple Initialised handle to hosts simple environment
|