/seL4-refos-master/libs/libmuslc/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-refos-master/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-refos-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-refos-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-refos-master/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-refos-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-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/src/ |
H A D | mapglyph.c | 67 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 D | mapglyph.c | 67 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 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-refos-master/libs/libmuslc/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-refos-master/kernel/include/arch/x86/arch/kernel/ |
H A D | elf.h | 15 void elf_load(Elf_Header_t *elfFile, seL4_Word offset);
|
/seL4-refos-master/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-refos-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-refos-master/projects/refos/impl/apps/process_server/src/system/memserv/ |
H A D | dataspace.h | 113 @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 D | dataspace.h | 113 @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 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-refos-master/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-refos-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-refos-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-refos-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-refos-master/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...] |