Searched refs:info (Results 1 - 25 of 108) sorted by relevance

12345

/seL4-camkes-master/projects/seL4_libs/libsel4debug/src/
H A Dbootinfo.c21 void debug_print_bootinfo(seL4_BootInfo *info) argument
24 printf("Node %lu of %lu\n", (long)info->nodeID, (long)info->numNodes);
25 printf("IOPT levels: %u\n", (int)info->numIOPTLevels);
26 printf("IPC buffer: %p\n", info->ipcBuffer);
27 printf("Empty slots: [%lu --> %lu)\n", (long)info->empty.start, (long)info->empty.end);
28 printf("sharedFrames: [%lu --> %lu)\n", (long)info->sharedFrames.start, (long)info->sharedFrames.end);
29 printf("userImageFrames: [%lu --> %lu)\n", (long)info
[all...]
/seL4-camkes-master/projects/musllibc/src/linux/
H A Dsysinfo.c5 int __lsysinfo(struct sysinfo *info) argument
7 return syscall(SYS_sysinfo, info);
/seL4-camkes-master/projects/global-components/templates/
H A DseL4RPCNoThreads-to.template.h29 int /*? me.interface.name ?*/_handle_message(seL4_MessageInfo_t *info, seL4_Word badge);
/seL4-camkes-master/projects/camkes/apps/mutex/templates/
H A DseL4MyConnector-from.c20 seL4_MessageInfo_t info = seL4_MessageInfo_new(0, 0, 0, 1); local
21 seL4_Send(/*? ep ?*/, info);
28 seL4_MessageInfo_t info = seL4_MessageInfo_new(0, 0, 0, 1); local
29 seL4_Send(/*? ep ?*/, info);
H A DseL4MyConnector-to.c37 seL4_MessageInfo_t info = seL4_Wait(/*? ep ?*/, NULL); local
39 seL4_MessageInfo_t info = seL4_Recv(/*? ep ?*/, NULL); local
41 assert(seL4_MessageInfo_get_length(info) == 1);
49 info = seL4_MessageInfo_new(0, 0, 0, 0);
50 seL4_Send(/*? ep ?*/, info);
/seL4-camkes-master/projects/musllibc/src/linux/x32/
H A Dsysinfo.c24 int __lsysinfo(struct sysinfo *info) argument
29 info->uptime = tmp.uptime;
30 info->loads[0] = tmp.loads[0];
31 info->loads[1] = tmp.loads[1];
32 info->loads[2] = tmp.loads[2];
37 info->totalram = tmp.totalram >> shifts;
38 info->freeram = tmp.freeram >> shifts;
39 info->sharedram = tmp.sharedram >> shifts;
40 info->bufferram = tmp.bufferram >> shifts;
41 info
[all...]
/seL4-camkes-master/projects/musllibc/src/ldso/
H A Ddl_iterate_phdr.c7 static int static_dl_iterate_phdr(int(*callback)(struct dl_phdr_info *info, size_t size, void *data), void *data) argument
13 struct dl_phdr_info info; local
26 info.dlpi_addr = base;
27 info.dlpi_name = "/proc/self/exe";
28 info.dlpi_phdr = (void *)aux[AT_PHDR];
29 info.dlpi_phnum = aux[AT_PHNUM];
30 info.dlpi_adds = 0;
31 info.dlpi_subs = 0;
33 info.dlpi_tls_modid = 1;
34 info
[all...]
H A Ddladdr.c5 static int stub_dladdr(const void *addr, Dl_info *info) argument
/seL4-camkes-master/projects/musllibc/src/process/
H A Dwaitid.c5 int waitid(idtype_t type, id_t id, siginfo_t *info, int options) argument
7 return syscall_cp(SYS_waitid, type, id, info, options, 0);
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/src/drivers/
H A Dcross_vm_connection.c51 struct connection_info info[MAX_NUM_CONNECTIONS]; variable in typeref:struct:connection_info
54 static int construct_connection_bar(vm_t *vm, struct connection_info *info, int num_connections, vmm_pci_space_t *pci) argument
67 .interrupt_line = info[conn_idx].connection_irq,
68 .bar0 = info[conn_idx].event_address | PCI_BASE_ADDRESS_SPACE_MEMORY,
69 .bar1 = info[conn_idx].dataport_address | PCI_BASE_ADDRESS_SPACE_MEMORY,
85 .address = info[conn_idx].event_address,
89 .size_bits = info[conn_idx].dataport_size_bits
93 .address = info[conn_idx].dataport_address,
94 .size_bits = info[conn_idx].dataport_size_bits
113 struct connection_info *info local
138 reserve_event_bar(vm_t *vm, uintptr_t event_bar_address, struct connection_info *info) argument
186 reserve_dataport_memory(vm_t *vm, crossvm_dataport_handle_t *dataport, uintptr_t dataport_address, struct connection_info *info) argument
260 initialise_connections(vm_t *vm, uintptr_t connection_base_addr, crossvm_handle_t *connections, int num_connections, struct connection_info *info, int connection_irq) argument
[all...]
/seL4-camkes-master/kernel/libsel4/sel4_arch_include/aarch32/sel4/sel4_arch/
H A Dsyscalls.h60 register seL4_Word info asm("r1") = info_arg;
73 "+r"(msg3), "+r"(info)
82 register seL4_Word info asm("r1") = info_arg;
95 "+r"(info)
104 register seL4_Word info asm("r1") = info_arg;
110 : "+r"(destptr), "+r"(info)
119 register seL4_Word info asm("r1");
134 "=r"(info), "+r"(src_and_badge)
139 *out_info = info;
151 register seL4_Word info as
[all...]
/seL4-camkes-master/kernel/libsel4/sel4_arch_include/arm_hyp/sel4/sel4_arch/
H A Dsyscalls.h60 register seL4_Word info asm("r1") = info_arg;
73 "+r"(msg3), "+r"(info)
82 register seL4_Word info asm("r1") = info_arg;
95 "+r"(info)
104 register seL4_Word info asm("r1") = info_arg;
110 : "+r"(destptr), "+r"(info)
119 register seL4_Word info asm("r1");
134 "=r"(info), "+r"(src_and_badge)
139 *out_info = info;
151 register seL4_Word info as
[all...]
/seL4-camkes-master/kernel/libsel4/sel4_arch_include/aarch64/sel4/sel4_arch/
H A Dsyscalls.h61 register seL4_Word info asm("x1") = info_arg;
74 "+r"(msg3), "+r"(info)
83 register seL4_Word info asm("x1") = info_arg;
96 "+r"(info)
105 register seL4_Word info asm("x1") = info_arg;
111 : "+r"(destptr), "+r"(info)
120 register seL4_Word info asm("x1");
134 "=r"(info), "+r"(src_and_badge)
139 *out_info = info;
151 register seL4_Word info as
[all...]
/seL4-camkes-master/projects/seL4_libs/libsel4utils/src/time_server/
H A Dclient.c28 seL4_MessageInfo_t info = seL4_MessageInfo_new(ltimer->label, 0, 0, 1); local
30 seL4_Call(ltimer->ep, info);
38 seL4_MessageInfo_t info = seL4_MessageInfo_new(ltimer->label, 0, 0, 2 + SEL4UTILS_64_WORDS); local
42 info = seL4_Call(ltimer->ep, info);
/seL4-camkes-master/projects/camkes-tool/libsel4camkes/src/
H A Dstart.c43 } info = { local
77 __sel4runtime_start_main(main, ARRAY_LENGTH(info.argv) - 1, info.argv, info.envp, info.auxv);
/seL4-camkes-master/projects/sel4runtime/src/
H A Dstart_root.c62 } info = { local
98 __sel4runtime_start_main(main, ARRAY_LENGTH(info.argv) - 1, info.argv, info.envp, info.auxv);
/seL4-camkes-master/projects/camkes-tool/cdl-refine-tests/
H A Drun_tests139 def info(msg):
140 print('run_tests: info: %s' % msg)
160 info('command took %.3g seconds' % duration)
187 info('Testing %d apps...' % len(test_apps))
195 info('Changing directory to project root: %s' % camkes_root)
217 info('camkes-tool revision: %s' % camkes_tool_rev)
232 info('Isabelle revision: %s' % isabelle_rev)
245 info('l4v revision: %s' % l4v_rev)
253 info('ninja-build version: %s' % ninja_version)
265 info('Settin
[all...]
/seL4-camkes-master/projects/camkes-tool/camkes/templates/
H A DseL4GDB-to.template.c42 /*- set info = c_symbol('info') -*/
97 seL4_MessageInfo_t info; local
102 info = seL4_Recv(/*? ep ?*/, &gdb_state.current_thread_tcb);
104 fault_type = seL4_MessageInfo_get_label(info);
105 length = seL4_MessageInfo_get_length(info);
134 info = seL4_MessageInfo_new(0, 0, 0, 1);
136 seL4_Send(reply_cap, info);
141 info = seL4_MessageInfo_new(0, 0, 0, 1);
143 seL4_Send(reply_cap, info);
[all...]
H A DseL4GDBMem-to.template.c52 seL4_MessageInfo_t info = seL4_MessageInfo_new(0, 0, 0, 1); local
54 seL4_Reply(info);
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/src/arch/x86/
H A Dguest_boot_init.c65 static void make_guest_screen_info(vm_t *vm, struct screen_info *info) argument
111 info->orig_video_isVGA = 0x23; // Tell Linux it's a VESA mode
112 info->lfb_width = vbeinfo.vbeModeInfoBlock.vbe12_part1.xRes;
113 info->lfb_height = vbeinfo.vbeModeInfoBlock.vbe12_part1.yRes;
114 info->lfb_depth = vbeinfo.vbeModeInfoBlock.vbe12_part1.bitsPerPixel;
116 info->lfb_base = base;
117 info->lfb_size = fbuffer_size >> 16;
118 info->lfb_linelength = vbeinfo.vbeModeInfoBlock.vbe_common.bytesPerScanLine;
120 info->red_size = vbeinfo.vbeModeInfoBlock.vbe12_part2.redLen;
121 info
[all...]
/seL4-camkes-master/projects/camkes-tool/libsel4camkes/include/camkes/
H A Dfault.h31 * info - The message information from the fault message
40 void camkes_show_fault(seL4_MessageInfo_t info, seL4_CPtr thread_id,
/seL4-camkes-master/projects/musllibc/src/ldso/arm/
H A Dfind_exidx.c10 static int find_exidx(struct dl_phdr_info *info, size_t size, void *ptr) argument
13 const ElfW(Phdr) *phdr = info->dlpi_phdr;
17 for (i = info->dlpi_phnum; i > 0; i--, phdr++) {
18 addr = info->dlpi_addr + phdr->p_vaddr;
/seL4-camkes-master/kernel/libsel4/sel4_arch_include/x86_64/sel4/sel4_arch/
H A Dsyscalls_sysenter.h22 static inline void x64_sys_send(seL4_Word sys, seL4_Word dest, seL4_Word info, seL4_Word msg0, seL4_Word msg1, argument
38 "S"(info),
48 static inline void x64_sys_reply(seL4_Word sys, seL4_Word info, seL4_Word msg0, seL4_Word msg1, seL4_Word msg2, argument
63 "S"(info),
73 static inline void x64_sys_send_null(seL4_Word sys, seL4_Word dest, seL4_Word info) argument
83 "S"(info)
120 static inline void x64_sys_send_recv(seL4_Word sys, seL4_Word dest, seL4_Word *out_dest, seL4_Word info, argument
143 "S"(info),
160 seL4_Word info, seL4_Word *out_info, seL4_Word *in_out_mr0, seL4_Word *in_out_mr1, seL4_Word *in_out_mr2,
181 "S"(info),
159 x64_sys_nbsend_recv(seL4_Word sys, seL4_Word dest, seL4_Word src, seL4_Word *out_dest, seL4_Word info, seL4_Word *out_info, seL4_Word *in_out_mr0, seL4_Word *in_out_mr1, seL4_Word *in_out_mr2, seL4_Word *in_out_mr3, seL4_Word reply) argument
[all...]
H A Dsyscalls_syscall.h21 static inline void x64_sys_send(seL4_Word sys, seL4_Word dest, seL4_Word info, seL4_Word msg0, seL4_Word msg1, argument
36 "S"(info),
46 static inline void x64_sys_reply(seL4_Word sys, seL4_Word info, seL4_Word msg0, seL4_Word msg1, seL4_Word msg2, argument
60 "S"(info),
70 static inline void x64_sys_send_null(seL4_Word sys, seL4_Word dest, seL4_Word info) argument
79 "S"(info)
115 static inline void x64_sys_send_recv(seL4_Word sys, seL4_Word dest, seL4_Word *out_dest, seL4_Word info, argument
137 "S"(info),
153 seL4_Word info, seL4_Word *out_info, seL4_Word *in_out_mr0, seL4_Word *in_out_mr1, seL4_Word *in_out_mr2,
175 "S"(info),
152 x64_sys_nbsend_recv(seL4_Word sys, seL4_Word dest, seL4_Word src, seL4_Word *out_dest, seL4_Word info, seL4_Word *out_info, seL4_Word *in_out_mr0, seL4_Word *in_out_mr1, seL4_Word *in_out_mr2, seL4_Word *in_out_mr3, seL4_Word reply) argument
[all...]
/seL4-camkes-master/kernel/libsel4/sel4_arch_include/ia32/sel4/sel4_arch/
H A Dsyscalls.h33 static inline void x86_sys_send(seL4_Word sys, seL4_Word dest, seL4_Word info, seL4_Word mr1, argument
49 "S"(info),
60 static inline void x86_sys_reply(seL4_Word sys, seL4_Word info, seL4_Word mr1, seL4_Word mr2) argument
74 "S"(info),
82 static inline void x86_sys_send_null(seL4_Word sys, seL4_Word src, seL4_Word info) argument
96 "S"(info)
128 static inline void x86_sys_send_recv(seL4_Word sys, seL4_Word dest, seL4_Word *out_badge, seL4_Word info, argument
150 "S"(info),
161 static inline void x86_sys_nbsend_wait(seL4_Word sys, seL4_Word src, seL4_Word *out_badge, seL4_Word info, argument
183 "S"(info),
212 x86_sys_send(seL4_Word sys, seL4_Word dest, seL4_Word info, seL4_Word mr1, seL4_Word mr2) argument
239 x86_sys_reply(seL4_Word sys, seL4_Word info, seL4_Word mr1, seL4_Word mr2) argument
259 x86_sys_send_null(seL4_Word sys, seL4_Word dest, seL4_Word info) argument
298 x86_sys_send_recv(seL4_Word sys, seL4_Word dest, seL4_Word *out_badge, seL4_Word info, seL4_Word *out_info, seL4_Word *in_out_mr1, MCS_COND(seL4_Word reply, seL4_Word *in_out_mr2)) argument
326 x86_sys_nbsend_wait(seL4_Word sys, seL4_Word src, seL4_Word *out_badge, seL4_Word info, seL4_Word *out_info, seL4_Word *in_out_mr1, seL4_Word reply) argument
434 seL4_MessageInfo_t info; local
460 seL4_MessageInfo_t info; local
490 seL4_MessageInfo_t info; local
512 seL4_MessageInfo_t info; local
530 seL4_MessageInfo_t info; local
549 seL4_MessageInfo_t info; local
567 seL4_MessageInfo_t info; local
589 seL4_MessageInfo_t info; local
624 seL4_MessageInfo_t info; local
654 seL4_MessageInfo_t info; local
690 seL4_MessageInfo_t info; local
712 seL4_MessageInfo_t info; local
739 seL4_MessageInfo_t info; local
758 seL4_MessageInfo_t info; local
[all...]

Completed in 116 milliseconds

12345