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

12345678

/seL4-refos-master/libs/libmuslc/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-refos-master/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-refos-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-refos-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-refos-master/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-refos-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-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/src/
H A Dmapglyph.c67 register int offset; local
80 if ((offset = (glyph - GLYPH_WARNING_OFF)) >= 0) { /* a warning flash */
81 ch = warnsyms[offset];
87 warn_color(offset);
88 } else if ((offset = (glyph - GLYPH_SWALLOW_OFF)) >= 0) { /* swallow */
90 ch = (uchar) showsyms[S_sw_tl + (offset & 0x7)];
96 mon_color(offset >> 3);
97 } else if ((offset = (glyph - GLYPH_ZAP_OFF)) >= 0) { /* zap beam */
99 ch = showsyms[S_vbeam + (offset & 0x3)];
105 zap_color((offset >>
[all...]
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/src/
H A Dmapglyph.c67 register int offset; local
80 if ((offset = (glyph - GLYPH_WARNING_OFF)) >= 0) { /* a warning flash */
81 ch = warnsyms[offset];
87 warn_color(offset);
88 } else if ((offset = (glyph - GLYPH_SWALLOW_OFF)) >= 0) { /* swallow */
90 ch = (uchar) showsyms[S_sw_tl + (offset & 0x7)];
96 mon_color(offset >> 3);
97 } else if ((offset = (glyph - GLYPH_ZAP_OFF)) >= 0) { /* zap beam */
99 ch = showsyms[S_vbeam + (offset & 0x3)];
105 zap_color((offset >>
[all...]
/seL4-refos-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-refos-master/libs/libmuslc/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-refos-master/kernel/include/arch/x86/arch/kernel/
H A Delf.h15 void elf_load(Elf_Header_t *elfFile, seL4_Word offset);
/seL4-refos-master/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-refos-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-refos-master/projects/refos/impl/apps/process_server/src/system/memserv/
H A Ddataspace.h113 @param offset Offset into the ram dataspace.
114 @return CPtr to frame if there's a page at the given offset in the given dataspace,
117 seL4_CPtr ram_dspace_check_page(struct ram_dspace *dataspace, uint32_t offset);
119 /*! @brief Retrieves a page at a given offset. If the page hasn't been created, it will be
122 @param offset Offset into the ram dataspace.
123 @return CPtr to frame if success, 0 if offset invalid or out of memory. No ownership transfer.
125 seL4_CPtr ram_dspace_get_page(struct ram_dspace *dataspace, uint32_t offset);
174 @param offset The offset into the dataspace to read from.
177 int ram_dspace_read(char *buf, size_t len, struct ram_dspace *dataspace, uint32_t offset);
[all...]
/seL4-refos-master/apps/process_server/src/system/memserv/
H A Ddataspace.h113 @param offset Offset into the ram dataspace.
114 @return CPtr to frame if there's a page at the given offset in the given dataspace,
117 seL4_CPtr ram_dspace_check_page(struct ram_dspace *dataspace, uint32_t offset);
119 /*! @brief Retrieves a page at a given offset. If the page hasn't been created, it will be
122 @param offset Offset into the ram dataspace.
123 @return CPtr to frame if success, 0 if offset invalid or out of memory. No ownership transfer.
125 seL4_CPtr ram_dspace_get_page(struct ram_dspace *dataspace, uint32_t offset);
174 @param offset The offset into the dataspace to read from.
177 int ram_dspace_read(char *buf, size_t len, struct ram_dspace *dataspace, uint32_t offset);
[all...]
/seL4-refos-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-refos-master/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-refos-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-refos-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-refos-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-refos-master/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...]

Completed in 209 milliseconds

12345678