/seL4-test-master/projects/seL4_libs/libsel4debug/src/ |
H A D | bootinfo.c | 21 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 D | sysinfo.c | 5 int __lsysinfo(struct sysinfo *info) argument 7 return syscall(SYS_sysinfo, info);
|
/seL4-test-master/projects/musllibc/src/linux/x32/ |
H A D | sysinfo.c | 24 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 D | dl_iterate_phdr.c | 7 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 D | dladdr.c | 5 static int stub_dladdr(const void *addr, Dl_info *info) argument
|
/seL4-test-master/projects/musllibc/src/process/ |
H A D | waitid.c | 5 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 D | Makefile | 15 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 D | cross_vm_connection.c | 51 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 D | syscalls.h | 60 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 D | syscalls.h | 60 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 D | syscalls.h | 61 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 D | client.c | 28 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 D | start_root.c | 62 } 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 D | guest_boot_init.c | 65 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 D | find_exidx.c | 10 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 D | nbwait.c | 39 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 D | syscalls_sysenter.h | 22 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 D | syscalls_syscall.h | 21 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 D | syscalls.h | 33 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 D | syscalls.h | 29 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 D | elf.c | 26 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 D | boot.h | 30 void load_elf(const char* fn, elf_info* info);
|
/seL4-test-master/projects/util_libs/libcpio/src/ |
H A D | cpio.c | 109 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 D | benchmark_track.h | 35 * @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 D | debug.h | 50 void debug_print_bootinfo(seL4_BootInfo *info);
|