/seL4-test-master/projects/musllibc/src/unistd/ |
H A D | lseek.c | 5 off_t lseek(int fd, off_t offset, int whence) argument 9 return syscall(SYS__llseek, fd, offset>>32, offset, &result, whence) ? -1 : result; 11 return syscall(SYS_lseek, fd, offset, whence);
|
/seL4-test-master/projects/sel4_projects_libs/libsel4nanopb/include/sel4nanopb/ |
H A D | sel4nanopb.h | 12 pb_ostream_t pb_ostream_from_IPC(seL4_Word offset); 13 pb_istream_t pb_istream_from_IPC(seL4_Word offset);
|
/seL4-test-master/projects/sel4_projects_libs/libsel4nanopb/src/ |
H A D | common.c | 13 pb_ostream_t pb_ostream_from_IPC(seL4_Word offset) argument 15 char *msg_buffer = (char *) & (seL4_GetIPCBuffer()->msg[offset]); 16 size_t size = seL4_MsgMaxLength * sizeof(seL4_Word) - offset; 20 pb_istream_t pb_istream_from_IPC(seL4_Word offset) argument 22 char *msg_buffer = (char *) & (seL4_GetIPCBuffer()->msg[offset]); 23 size_t size = seL4_MsgMaxLength * sizeof(seL4_Word) - offset;
|
/seL4-test-master/projects/util_libs/libplatsupport/src/plat/pc99/acpi/ |
H A D | browser.h | 24 acpi_browse_tables(const acpi_rsdp_t* rsdp, size_t offset); 34 acpi_browse_tables(const acpi_rsdp_t* rsdp, size_t offset) argument 37 (void)offset;
|
/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 156 unsigned absoffset = offset + fdt_off_dt_struct(fdt); 158 if ((absoffset < offset) 164 if (((offset + len) < offset) 165 || ((offset + len) > fdt_size_dt_struct(fdt))) 168 return fdt_offset_ptr_(fdt, offset); 175 int offset = startoffset; local 179 tagp = fdt_offset_ptr(fdt, offset, FDT_TAGSIZE); 183 offset 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_ro.c | 58 static int fdt_nodename_eq_(const void *fdt, int offset, argument 62 const char *p = fdt_get_name(fdt, offset, &olen); 150 int offset; local 152 for (offset = fdt_next_node(fdt, -1, NULL);; 153 offset = fdt_next_node(fdt, offset, NULL)) { 156 if (offset == -FDT_ERR_NOTFOUND) 159 if (offset < 0) 162 phandle = fdt_get_phandle(fdt, offset); 175 int offset local 211 nextprop_(const void *fdt, int offset) argument 235 fdt_subnode_offset_namelen(const void *fdt, int offset, const char *name, int namelen) argument 264 int offset = 0; local 350 int offset; local 358 fdt_next_property_offset(const void *fdt, int offset) argument 366 fdt_get_property_by_offset_(const void *fdt, int offset, int *lenp) argument 387 fdt_get_property_by_offset(const void *fdt, int offset, int *lenp) argument 403 fdt_get_property_namelen_(const void *fdt, int offset, const char *name, int namelen, int *lenp, int *poffset) argument 433 fdt_get_property_namelen(const void *fdt, int offset, const char *name, int namelen, int *lenp) argument 477 fdt_getprop_by_offset(const void *fdt, int offset, const char **namep, int *lenp) argument 548 int offset, depth, namelen; local 600 int offset, depth; local 658 int offset; local 683 int offset; local 839 int offset, err; local 865 int offset, nextoffset = 0; local [all...] |
H A D | libfdt_internal.h | 66 int fdt_check_node_offset_(const void *fdt, int offset); 67 int fdt_check_prop_offset_(const void *fdt, int offset); 71 static inline const void *fdt_offset_ptr_(const void *fdt, int offset) argument 73 return (const char *)fdt + fdt_off_dt_struct(fdt) + offset; 76 static inline void *fdt_offset_ptr_w_(void *fdt, int offset) argument 78 return (void *)(uintptr_t)fdt_offset_ptr_(fdt, offset);
|
H A D | fdt_sw.c | 131 int offset = fdt_size_dt_struct(fdt); local 137 if ((offset + len < offset) || (offset + len > spaceleft)) 140 fdt_set_size_dt_struct(fdt, offset + len); 141 return fdt_offset_ptr_w_(fdt, offset); 206 int offset; local 210 offset = fdt_off_dt_struct(fdt); 211 if ((offset + sizeof(*re)) > fdt_totalsize(fdt)) 214 re = (struct fdt_reserve_entry *)((char *)fdt + offset); 271 int struct_top, offset; local 328 int offset, nextoffset; local [all...] |
H A D | fdt_wip.c | 118 int fdt_node_end_offset_(void *fdt, int offset) argument 122 while ((offset >= 0) && (depth >= 0)) 123 offset = fdt_next_node(fdt, offset, &depth); 125 return offset;
|
/seL4-test-master/projects/seL4_libs/libsel4utils/include/sel4utils/ |
H A D | util.h | 30 * Get a 64bit value from the ipc buffer, starting from offset. 33 * @param offset the offser in the ipc buffer to start reading MRs at. 36 static inline uint64_t sel4utils_64_get_mr(seL4_Word offset) argument 38 uint64_t result = seL4_GetMR(offset); 41 result += (((uint64_t) seL4_GetMR(offset + 1)) << 32llu); 50 * @param offset offset in the IPC buffer to start setting MRs at. 53 static inline void sel4utils_64_set_mr(seL4_Word offset, uint64_t value) argument 55 seL4_SetMR(offset, (seL4_Word) value); 57 seL4_SetMR(offset [all...] |
/seL4-test-master/projects/sel4_projects_libs/libsel4vmmplatsupport/include/sel4vmmplatsupport/drivers/ |
H A D | pci.h | 33 uint8_t (*ioread8)(void *cookie, vmm_pci_address_t addr, unsigned int offset); 34 uint16_t (*ioread16)(void *cookie, vmm_pci_address_t addr, unsigned int offset); 35 uint32_t (*ioread32)(void *cookie, vmm_pci_address_t addr, unsigned int offset); 36 void (*iowrite8)(void *cookie, vmm_pci_address_t addr, unsigned int offset, uint8_t val); 37 void (*iowrite16)(void *cookie, vmm_pci_address_t addr, unsigned int offset, uint16_t val); 38 void (*iowrite32)(void *cookie, vmm_pci_address_t addr, unsigned int offset, uint32_t val); 45 * @param {int *(void *cookie, int offset, int size, uint32_t *result)} ioread Configuration space read callback 46 * @param {int *(void *cookie, int offset, int size, uint32_t value)} iowrite Configuration space write callback 50 int (*ioread)(void *cookie, int offset, int size, uint32_t *result); 51 int (*iowrite)(void *cookie, int offset, in [all...] |
/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 25 assert(offset >= PCI_BASE_ADDRESS_0 && offset < PCI_BASE_ADDRESS_5 + 4); 27 int index = (offset - PCI_BASE_ADDRESS_0) / 4; 28 int byte_offset = (offset - PCI_BASE_ADDRESS_0) % 4; 34 static void libpci_vdevice_rebase_callback_iowrite(libpci_vdevice_t* vdevice, int offset, argument 37 assert(offset >= PCI_BASE_ADDRESS_0 && offset < PCI_BASE_ADDRESS_5 + 4); 39 int index = (offset - PCI_BASE_ADDRESS_0) / 4; 40 int byte_offset = (offset 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/projects/musllibc/src/linux/ |
H A D | adjtime.c | 15 tx.offset = in->tv_sec*1000000 + in->tv_usec; 20 out->tv_sec = tx.offset / 1000000; 21 if ((out->tv_usec = tx.offset % 1000000) < 0) {
|
/seL4-test-master/projects/sel4_projects_libs/libsel4vmmplatsupport/src/drivers/ |
H A D | pci_helper.c | 20 int vmm_pci_mem_device_read(void *cookie, int offset, int size, uint32_t *result) argument 22 if (offset < 0) { 26 if (offset + size >= PCI_CAPABILITY_SPACE_OFFSET) { 32 /* Read the PCI device field at the given offset 34 memcpy(result, cookie + offset, size); 39 int vmm_pci_mem_device_write(void *cookie, int offset, int size, uint32_t value) argument 41 if (offset < 0) { 45 if (offset + size >= PCI_CAPABILITY_SPACE_OFFSET) { 56 /* Write the PCI device field at the given offset 58 memcpy(cookie + offset, 63 vmm_pci_entry_ignore_write(void *cookie, int offset, int size, uint32_t value) argument 107 passthrough_pci_config_ioread(void *cookie, int offset, int size, uint32_t *result) argument 126 passthrough_pci_config_iowrite(void *cookie, int offset, int size, uint32_t val) argument 145 pci_bar_emul_check_range(unsigned int offset, unsigned int size) argument 171 pci_irq_emul_read(void *cookie, int offset, int size, uint32_t *result) argument 189 pci_irq_emul_write(void *cookie, int offset, int size, uint32_t value) argument 203 pci_bar_emul_read(void *cookie, int offset, int size, uint32_t *result) argument 219 pci_bar_emul_write(void *cookie, int offset, int size, uint32_t value) argument 233 pci_bar_passthrough_emul_read(void *cookie, int offset, int size, uint32_t *result) argument 239 pci_bar_passthrough_emul_write(void *cookie, int offset, int size, uint32_t value) argument 294 pci_cap_emul_read(void *cookie, int offset, int size, uint32_t *result) argument 353 pci_cap_emul_write(void *cookie, int offset, int size, uint32_t value) argument [all...] |
H A D | virtio_emul_helpers.c | 12 static int read_guest_mem(vm_t *vm, uintptr_t phys, void *vaddr, size_t size, size_t offset, void *cookie) argument 15 memcpy(cookie + offset, vaddr, size); 19 static int write_guest_mem(vm_t *vm, uintptr_t phys, void *vaddr, size_t size, size_t offset, void *cookie) argument 22 memcpy(vaddr, cookie + offset, size);
|
/seL4-test-master/projects/sel4_projects_libs/libsel4vmmplatsupport/src/plat/exynos5/devices/ |
H A D | vmct.c | 47 int offset; local 54 offset = fault_addr - dev->pstart; 57 if (offset < 0x300) { 64 if (offset >= 0x100 && offset < 0x108) { 66 *cnt_wstat |= (1 << (offset - 0x100) / 4); 67 } else if (offset == 0x110) { 69 } else if (offset >= 0x200 && offset < 0x244) { 71 *wstat |= (1 << (offset [all...] |
/seL4-test-master/kernel/include/arch/x86/arch/kernel/ |
H A D | elf.h | 15 void elf_load(Elf_Header_t *elfFile, seL4_Word offset);
|
/seL4-test-master/projects/util_libs/libplatsupport/src/plat/exynos5/ |
H A D | sysreg.c | 24 sreg(sysreg_t* sysreg, int offset) argument 26 void* reg = sysreg->sysreg_vaddr[offset >> 12] + (offset & MASK(12)); 31 preg(sysreg_t* sysreg, int offset) argument 34 reg_base = sysreg->pwrreg_vaddr[offset >> 12]; 36 return (volatile uint32_t*)(reg_base + (offset & MASK(12)));
|
/seL4-test-master/projects/util_libs/libplatsupport/include/platsupport/ |
H A D | fdt.h | 24 #define READ_CELL(size, addr, offset) (size == 2 ? READ_CELL64(addr + (offset * sizeof(uint32_t))) : \ 25 READ_CELL32(addr + (offset * sizeof(uint32_t)))) 117 * uses an offset to map in the desired registers from a device's registers property. Useful 121 * @param offset The offset to the desired registers in the device's (that the cookie points to) 128 void *ps_fdt_index_map_register(ps_io_ops_t *io_ops, ps_fdt_cookie_t *cookie, unsigned offset, 133 * uses an offset to map in the desired interrupt from a device's interrupts property. Useful 137 * @param offset The offset t [all...] |
/seL4-test-master/kernel/src/drivers/timer/ |
H A D | generic_timer.c | 98 /* Set virtual timer offset */ 106 uint64_t offset = vcpu_read_reg(vcpu, seL4_VCPUReg_CNTVOFF); local 107 offset += pcount_delta; 108 vcpu_write_reg(vcpu, seL4_VCPUReg_CNTVOFF, offset); 114 uint64_t offset = ((uint64_t)offset_high << 32) | (uint64_t) offset_low; local 116 offset += pcount_delta; 117 vcpu_write_reg(vcpu, seL4_VCPUReg_CNTVOFFhigh, (word_t)(offset >> 32)); 118 vcpu_write_reg(vcpu, seL4_VCPUReg_CNTVOFFlow, (word_t) offset); 120 set_cntv_off_64(offset);
|
/seL4-test-master/projects/sel4_projects_libs/libsel4vmmplatsupport/src/arch/x86/drivers/ |
H A D | vmm_pci_helper.c | 71 uint8_t offset; local 74 offset = port_no - PCI_CONF_PORT_ADDR; 78 memcpy(result, ((char *)&self->conf_port_addr) + offset, size); 82 offset = port_no - PCI_CONF_PORT_DATA; 88 reg += offset; 122 uint8_t offset; local 125 offset = port_no - PCI_CONF_PORT_ADDR; 130 memcpy(((char *)&self->conf_port_addr) + offset, &value, size); 134 offset = port_no - PCI_CONF_PORT_DATA; 140 reg += offset; [all...] |
/seL4-test-master/kernel/include/object/ |
H A D | untyped.h | 21 * many bits of capBlockSize there are, and the largest offset that can 27 #define GET_OFFSET_FREE_PTR(base, offset) ((void *)(((word_t)(base)) + (offset))) 28 #define OFFSET_TO_FREE_INDEX(offset) ((offset)>>seL4_MinUntypedBits)
|
/seL4-test-master/projects/util_libs/libpci/include/pci/ |
H A D | virtual_device.h | 46 uint8_t (*callback_ioread) (libpci_vdevice_t* vdevice, int offset); 47 void (*callback_iowrite) (libpci_vdevice_t* vdevice, int offset, uint8_t val); 75 int offset, /* 0 ... PCI_STD_HEADER_SIZEOF - 1 */ 108 int offset /* 0 ... PCI_STD_HEADER_SIZEOF - 1 */, 112 int offset /* 0 ... PCI_STD_HEADER_SIZEOF - 1 */,
|
/seL4-test-master/projects/seL4_libs/libsel4allocman/src/utspace/ |
H A D | twinkle.c | 83 if (_round_up(twinkle->uts[i].offset, size_bits) + BIT(size_bits) <= BIT(twinkle->uts[i].size_bits)) { 93 if ((_round_up(twinkle->uts[j].offset, size_bits) + BIT(size_bits) <= BIT(twinkle->uts[j].size_bits)) && 94 (_round_up(twinkle->uts[j].offset, size_bits) - twinkle->uts[j].offset < 95 _round_up(twinkle->uts[i].offset, size_bits) - twinkle->uts[i].offset)) { 99 /* if using inc retype then our offset calculation is effectively emulating the kernels calculations. This 103 slot->destDepth, slot->offset, 1); 111 twinkle->uts[i].offset = _round_up(twinkle->uts[i].offset, size_bit [all...] |
/seL4-test-master/kernel/src/api/ |
H A D | faults.c | 30 lookup_fault_t luf, unsigned int offset) 35 i = setMR(receiver, receiveIPCBuffer, offset, lufType + 1); 38 if (offset == seL4_CapFault_LookupFailureType) { 39 assert(offset + 1 == seL4_CapFault_BitsLeft); 40 assert(offset + 2 == seL4_CapFault_DepthMismatch_BitsFound); 41 assert(offset + 2 == seL4_CapFault_GuardMismatch_GuardFound); 42 assert(offset + 3 == seL4_CapFault_GuardMismatch_BitsFound); 44 assert(offset == 1); 52 return setMR(receiver, receiveIPCBuffer, offset + 1, 56 setMR(receiver, receiveIPCBuffer, offset 29 setMRs_lookup_failure(tcb_t *receiver, word_t *receiveIPCBuffer, lookup_fault_t luf, unsigned int offset) argument [all...] |