Searched refs:offset (Results 1 - 25 of 141) sorted by relevance

123456

/seL4-test-master/projects/musllibc/src/unistd/
H A Dlseek.c5 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 Dsel4nanopb.h12 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 Dcommon.c13 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 Dbrowser.h24 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 Dfdt.c154 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 Dfdt_ro.c58 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 Dlibfdt_internal.h66 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 Dfdt_sw.c131 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 Dfdt_wip.c118 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 Dutil.h30 * 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 Dpci.h33 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 Dvirtual_device.c23 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 Dadjtime.c15 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 Dpci_helper.c20 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 Dvirtio_emul_helpers.c12 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 Dvmct.c47 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 Delf.h15 void elf_load(Elf_Header_t *elfFile, seL4_Word offset);
/seL4-test-master/projects/util_libs/libplatsupport/src/plat/exynos5/
H A Dsysreg.c24 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 Dfdt.h24 #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 Dgeneric_timer.c98 /* 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 Dvmm_pci_helper.c71 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 Duntyped.h21 * 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 Dvirtual_device.h46 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 Dtwinkle.c83 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 Dfaults.c30 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...]

Completed in 201 milliseconds

123456