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

123

/seL4-test-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-test-master/projects/musllibc/src/linux/
H A Dsysinfo.c5 int __lsysinfo(struct sysinfo *info) argument
7 return syscall(SYS_sysinfo, info);
/seL4-test-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-test-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-test-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-test-master/tools/nanopb/tests/
H A DMakefile15 lcov --base-directory . --directory build/ --gcov-tool gcov-4.6 -c -o build/coverage/nanopb.info
18 lcov -r build/coverage/nanopb.info '*tests*' -o build/coverage/nanopb.info
21 genhtml -o build/coverage build/coverage/nanopb.info
/seL4-test-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-test-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-test-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-test-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-test-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-test-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-test-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-test-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-test-master/projects/sel4test/apps/sel4test-tests/src/tests/
H A Dnbwait.c39 seL4_MessageInfo_t info = {{0}}; local
77 info = api_nbrecv(endpoint.cptr, &badge, reply.cptr);
81 info = seL4_Poll(notification.cptr, &badge);
88 info = seL4_Poll(notification.cptr, &badge);
92 info = seL4_Poll(notification.cptr, &badge);
99 info = api_nbrecv(endpoint.cptr, &badge, reply.cptr);
103 info = api_nbrecv(endpoint.cptr, &badge, reply.cptr);
115 info = api_nbrecv(endpoint.cptr, &badge, reply.cptr);
117 test_eq(seL4_MessageInfo_get_length(info), (seL4_Word)1);
121 info
[all...]
/seL4-test-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-test-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...]
/seL4-test-master/kernel/libsel4/arch_include/riscv/sel4/arch/
H A Dsyscalls.h29 register seL4_Word info asm("a1") = info_arg;
42 "+r"(msg3), "+r"(info)
51 register seL4_Word info asm("a1") = info_arg;
64 "+r"(info)
73 register seL4_Word info asm("a1") = info_arg;
79 : "+r"(destptr), "+r"(info)
88 register seL4_Word info asm("a1");
102 "=r"(info), "+r"(src_and_badge)
107 *out_info = info;
131 register seL4_Word info as
262 seL4_MessageInfo_t info; local
292 seL4_MessageInfo_t info; local
328 seL4_MessageInfo_t info; local
352 seL4_MessageInfo_t info; local
389 seL4_MessageInfo_t info; local
434 seL4_MessageInfo_t info; local
475 seL4_MessageInfo_t info; local
524 seL4_MessageInfo_t info; local
559 seL4_MessageInfo_t info; local
608 seL4_MessageInfo_t info; local
642 seL4_MessageInfo_t info; local
697 seL4_MessageInfo_t info; local
721 seL4_MessageInfo_t info; local
753 seL4_MessageInfo_t info; local
[all...]
/seL4-test-master/tools/riscv-pk/pk/
H A Delf.c26 void load_elf(const char* fn, elf_info* info) argument
50 if (phdr_size > info->phdr_size)
52 ssize_t ret = file_pread(file, (void*)info->phdr, phdr_size, eh.e_phoff);
55 info->phnum = eh.e_phnum;
56 info->phent = sizeof(Elf_Phdr);
57 Elf_Phdr* ph = (typeof(ph))info->phdr;
71 info->entry = eh.e_entry + bias;
77 if (vaddr + ph[i].p_memsz > info->brk_min)
78 info->brk_min = vaddr + ph[i].p_memsz;
H A Dboot.h30 void load_elf(const char* fn, elf_info* info);
/seL4-test-master/projects/util_libs/libcpio/src/
H A Dcpio.c109 struct cpio_header_info *info)
153 if (info) {
154 info->filename = filename;
155 info->filesize = filesize;
156 info->data = data;
157 info->next = next;
227 int cpio_info(void *archive, unsigned long len, struct cpio_info *info) { argument
232 if (info == NULL) return 1;
233 info->file_count = 0;
234 info
108 cpio_parse_header(struct cpio_header *archive, unsigned long len, struct cpio_header_info *info) argument
[all...]
/seL4-test-master/kernel/include/benchmark/
H A Dbenchmark_track.h35 * @brief Fill in logging info for kernel entries
52 seL4_MessageInfo_t info = messageInfoFromWord_raw(msgInfo); local
57 ksKernelEntry.invocation_tag = seL4_MessageInfo_get_label(info);
/seL4-test-master/projects/seL4_libs/libsel4debug/include/sel4debug/
H A Ddebug.h50 void debug_print_bootinfo(seL4_BootInfo *info);

Completed in 138 milliseconds

123