/seL4-test-master/kernel/src/api/ |
H A D | faults.c | 29 setMRs_lookup_failure(tcb_t *receiver, word_t *receiveIPCBuffer, lookup_fault_t luf, unsigned int offset) argument [all...] |
/seL4-test-master/kernel/src/arch/arm/machine/ |
H A D | gic_v2.c | 156 word_t offset = (IRQT_TO_IRQ(irq) % 16u) * 2; local
|
/seL4-test-master/kernel/src/kernel/ |
H A D | cspace.c | 130 word_t capGuard, offset; local
|
/seL4-test-master/projects/sel4_projects_libs/libsel4vmmplatsupport/src/arch/x86/drivers/ |
H A D | vmm_pci_helper.c | 71 uint8_t offset; local 122 uint8_t offset; local [all...] |
/seL4-test-master/projects/sel4_projects_libs/libsel4vmmplatsupport/src/ |
H A D | device_utils.c | 76 int offset; local 142 int offset; local
|
/seL4-test-master/projects/sel4_projects_libs/libsel4vmmplatsupport/src/drivers/ |
H A D | virtio_emul.c | 41 static int emul_io_in(virtio_emul_t *emul, unsigned int offset, unsigned int size, unsigned int *result) argument 70 static int emul_io_out(virtio_emul_t *emul, unsigned int offset, unsigned int size, unsigned int value) argument [all...] |
H A D | virtio_console_emul.c | 132 bool console_device_emul_io_in(struct virtio_emul *emul, unsigned int offset, unsigned int size, unsigned int *result) argument 144 bool console_device_emul_io_out(struct virtio_emul *emul, unsigned int offset, unsigned int size, unsigned int value) argument
|
H A D | virtio_con.c | 26 unsigned int offset = port_no - con->iobase; local 40 unsigned int offset = port_no - con->iobase; local
|
/seL4-test-master/projects/sel4_projects_libs/libsel4vmmplatsupport/src/plat/exynos5/devices/ |
H A D | vpower.c | 38 int vm_offset, offset, reg_offset; local
|
H A D | vsdhc.c | 40 int offset; local
|
H A D | vmct.c | 47 int offset; local [all...] |
/seL4-test-master/projects/util_libs/libfdt/ |
H A D | fdt.c | 154 const void *fdt_offset_ptr(const void *fdt, int offset, unsigned int len) argument 175 int offset = startoffset; local 224 fdt_check_node_offset_(const void *fdt, int offset) argument 233 fdt_check_prop_offset_(const void *fdt, int offset) argument 242 fdt_next_node(const void *fdt, int offset, int *depth) argument 282 fdt_first_subnode(const void *fdt, int offset) argument 293 fdt_next_subnode(const void *fdt, int offset) argument [all...] |
H A D | fdt_sw.c | 131 int offset = fdt_size_dt_struct(fdt); local 206 int offset; local 271 int struct_top, offset; local 328 int offset, nextoffset; local [all...] |
/seL4-test-master/projects/musllibc/src/internal/ |
H A D | libc.h | 17 size_t len, size, align, offset; member in struct:tls_module
|
/seL4-test-master/projects/util_libs/libpci/src/ |
H A D | virtual_device.c | 23 static uint8_t libpci_vdevice_rebase_callback_ioread(libpci_vdevice_t* vdevice, int offset) { argument 34 static void libpci_vdevice_rebase_callback_iowrite(libpci_vdevice_t* vdevice, int offset, argument 77 libpci_vdevice_set_mode(libpci_vdevice_t* self, int offset, libpci_vdevice_mode_t m) argument 191 libpci_vdevice_ioread(libpci_vdevice_t* self, int offset, int size) argument 252 libpci_vdevice_iowrite(libpci_vdevice_t* self, int offset, int size, uint32_t val) argument [all...] |
/seL4-test-master/tools/riscv-pk/pk/ |
H A D | file.c | 126 ssize_t file_pread(file_t* f, void* buf, size_t size, off_t offset) argument 138 ssize_t file_pwrite(file_t* f, const void* buf, size_t size, off_t offset) argument
|
/seL4-test-master/kernel/include/object/ |
H A D | tcb.h | 28 setMR(tcb_t *receiver, word_t *receiveIPCBuffer, unsigned int offset, word_t reg) argument
|
/seL4-test-master/projects/musllibc/src/time/ |
H A D | __tz.c | 347 void __secs_to_zone(long long t, int local, int *isdst, long *offset, long *oppoff, const char **zonename) argument
|
/seL4-test-master/projects/seL4_libs/libsel4muslcsys/src/ |
H A D | sys_morecore.c | 70 long sys_mmap_impl(void *addr, size_t length, int prot, int flags, int fd, off_t offset) argument 193 static long sys_mmap_impl_static(void *addr, size_t length, int prot, int flags, int fd, off_t offset) argument 210 static long sys_mmap_impl_dynamic(void *addr, size_t length, int prot, int flags, int fd, off_t offset) argument 227 long sys_mmap_impl(void *addr, size_t length, int prot, int flags, int fd, off_t offset) argument 346 off_t offset = va_arg(ap, off_t); local 357 off_t offset = va_arg(ap, off_t); local [all...] |
/seL4-test-master/projects/seL4_libs/libsel4simple-default/src/ |
H A D | libsel4simple-default.c | 28 void *simple_default_get_frame_info(void *data, void *paddr, int size_bits, seL4_CPtr *frame_cap, seL4_Word *offset) argument
|
/seL4-test-master/projects/seL4_libs/libsel4platsupport/src/ |
H A D | io.c | 146 uintptr_t offset = paddr - start; local
|
/seL4-test-master/projects/sel4test/apps/sel4test-tests/src/tests/ |
H A D | frames.c | 39 size_t offset = BIT(size_bits) / 16 * i; local
|
/seL4-test-master/projects/util_libs/libplatsupport/src/ |
H A D | fdt.c | 270 void *ps_fdt_index_map_register(ps_io_ops_t *io_ops, ps_fdt_cookie_t *cookie, unsigned offset, argument 321 irq_id_t ps_fdt_index_register_irq(ps_io_ops_t *io_ops, ps_fdt_cookie_t *cookie, unsigned offset, argument
|
/seL4-test-master/kernel/src/object/ |
H A D | untyped.c | 244 word_t offset = FREE_INDEX_TO_OFFSET(cap_untyped_cap_get_capFreeIndex(prev_cap)); local [all...] |
/seL4-test-master/projects/sel4_projects_libs/libsel4vmmplatsupport/src/arch/arm/ |
H A D | guest_image.c | 135 static int guest_write_address(vm_t *vm, uintptr_t paddr, void *vaddr, size_t size, size_t offset, void *cookie) argument 175 size_t offset = 0; local
|