/seL4-refos-master/libs/librefossys/include/refos-io/ |
H A D | filetable.h | 30 void filetable_init(fd_table_t *fdt, uint32_t tableSize); 32 void filetable_release(fd_table_t *fdt); 34 int filetable_dspace_open(fd_table_t *fdt, char* filePath, int flags, int mode, int size); 36 int filetable_close(fd_table_t *fdt, int fd); 38 refos_err_t filetable_lseek(fd_table_t *fdt, int fd, int *offset, int whence); 40 int filetable_read(fd_table_t *fdt, int fd, char *bufferDest, int bufferLen); 42 int filetable_write(fd_table_t *fdt, int fd, char *bufferSrc, int bufferLen); 44 seL4_CPtr filetable_dspace_get(fd_table_t *fdt, int fd);
|
/seL4-refos-master/libs/librefossys/src/refos-io/ |
H A D | filetable.c | 124 filetable_init(fd_table_t *fdt, uint32_t tableSize) argument 126 assert(fdt); 127 fdt->magic = FD_TABLE_MAGIC; 128 fdt->tableSize = tableSize; 131 memset(&fdt->table, 0, sizeof(coat_t)); 132 fdt->table.oat_create = filetable_oat_create; 133 fdt->table.oat_delete = filetable_oat_delete; 134 coat_init(&fdt->table, FD_TABLE_BASE, tableSize); 138 filetable_release(fd_table_t *fdt) argument 140 assert(fdt 146 filetable_dspace_open(fd_table_t *fdt, char* filePath, int flags, int mode, int size) argument 196 filetable_close(fd_table_t *fdt, int fd) argument 207 filetable_lseek(fd_table_t *fdt, int fd, int *offset, int whence) argument 262 filetable_internal_read_write(fd_table_t *fdt, int fd, char *buffer, int bufferLen, bool read) argument 333 filetable_read(fd_table_t *fdt, int fd, char *bufferDest, int bufferLen) argument 339 filetable_write(fd_table_t *fdt, int fd, char *bufferSrc, int bufferLen) argument 345 filetable_dspace_get(fd_table_t *fdt, int fd) argument [all...] |
/seL4-refos-master/projects/refos/impl/libs/librefossys/include/refos-io/ |
H A D | filetable.h | 30 void filetable_init(fd_table_t *fdt, uint32_t tableSize); 32 void filetable_release(fd_table_t *fdt); 34 int filetable_dspace_open(fd_table_t *fdt, char* filePath, int flags, int mode, int size); 36 int filetable_close(fd_table_t *fdt, int fd); 38 refos_err_t filetable_lseek(fd_table_t *fdt, int fd, int *offset, int whence); 40 int filetable_read(fd_table_t *fdt, int fd, char *bufferDest, int bufferLen); 42 int filetable_write(fd_table_t *fdt, int fd, char *bufferSrc, int bufferLen); 44 seL4_CPtr filetable_dspace_get(fd_table_t *fdt, int fd);
|
/seL4-refos-master/projects/refos/impl/libs/librefossys/src/refos-io/ |
H A D | filetable.c | 124 filetable_init(fd_table_t *fdt, uint32_t tableSize) argument 126 assert(fdt); 127 fdt->magic = FD_TABLE_MAGIC; 128 fdt->tableSize = tableSize; 131 memset(&fdt->table, 0, sizeof(coat_t)); 132 fdt->table.oat_create = filetable_oat_create; 133 fdt->table.oat_delete = filetable_oat_delete; 134 coat_init(&fdt->table, FD_TABLE_BASE, tableSize); 138 filetable_release(fd_table_t *fdt) argument 140 assert(fdt 146 filetable_dspace_open(fd_table_t *fdt, char* filePath, int flags, int mode, int size) argument 196 filetable_close(fd_table_t *fdt, int fd) argument 207 filetable_lseek(fd_table_t *fdt, int fd, int *offset, int whence) argument 262 filetable_internal_read_write(fd_table_t *fdt, int fd, char *buffer, int bufferLen, bool read) argument 333 filetable_read(fd_table_t *fdt, int fd, char *bufferDest, int bufferLen) argument 339 filetable_write(fd_table_t *fdt, int fd, char *bufferSrc, int bufferLen) argument 345 filetable_dspace_get(fd_table_t *fdt, int fd) argument [all...] |
/seL4-refos-master/projects/util_libs/libfdt/ |
H A D | fdt.c | 53 #include <fdt.h> 63 int fdt_ro_probe_(const void *fdt) argument 65 if (fdt_magic(fdt) == FDT_MAGIC) { 67 if (fdt_version(fdt) < FDT_FIRST_SUPPORTED_VERSION) 69 if (fdt_last_comp_version(fdt) > FDT_LAST_SUPPORTED_VERSION) 71 } else if (fdt_magic(fdt) == FDT_SW_MAGIC) { 73 if (fdt_size_dt_struct(fdt) == 0) 113 int fdt_check_header(const void *fdt) argument 117 if (fdt_magic(fdt) != FDT_MAGIC) 119 hdrsize = fdt_header_size(fdt); 154 fdt_offset_ptr(const void *fdt, int offset, unsigned int len) argument 171 fdt_next_tag(const void *fdt, int startoffset, int *nextoffset) argument 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 322 fdt_move(const void *fdt, void *buf, int bufsize) argument [all...] |
H A D | fdt_addresses.c | 54 #include <fdt.h> 59 static int fdt_cells(const void *fdt, int nodeoffset, const char *name) argument 65 c = fdt_getprop(fdt, nodeoffset, name, &len); 79 int fdt_address_cells(const void *fdt, int nodeoffset) argument 81 return fdt_cells(fdt, nodeoffset, "#address-cells"); 84 int fdt_size_cells(const void *fdt, int nodeoffset) argument 86 return fdt_cells(fdt, nodeoffset, "#size-cells");
|
H A D | fdt_empty_tree.c | 53 #include <fdt.h>
|
H A D | fdt_overlay.c | 54 #include <fdt.h> 90 * @fdt: Base device tree blob 103 static int overlay_get_target(const void *fdt, const void *fdto, argument 120 ret = fdt_path_offset(fdt, path); 124 ret = fdt_node_offset_by_phandle(fdt, phandle); 149 * @fdt: Base device tree blob 161 static int overlay_phandle_add_offset(void *fdt, int node, argument 168 val = fdt_getprop(fdt, node, name, &len); 183 return fdt_setprop_inplace_u32(fdt, node, name, adj_val); 391 * @fdt 412 overlay_fixup_one_phandle(void *fdt, void *fdto, int symbols_off, const char *path, uint32_t path_len, const char *name, uint32_t name_len, int poffset, const char *label) argument 472 overlay_fixup_phandle(void *fdt, void *fdto, int symbols_off, int property) argument 554 overlay_fixup_phandles(void *fdt, void *fdto) argument 601 overlay_apply_node(void *fdt, int target, void *fdto, int node) argument 663 overlay_merge(void *fdt, void *fdto) argument 695 get_path_len(const void *fdt, int nodeoffset) argument 739 overlay_symbol_update(void *fdt, void *fdto) argument 864 fdt_overlay_apply(void *fdt, void *fdto) argument [all...] |
H A D | fdt_ro.c | 53 #include <fdt.h> 58 static int fdt_nodename_eq_(const void *fdt, int offset, argument 62 const char *p = fdt_get_name(fdt, offset, &olen); 79 const char *fdt_get_string(const void *fdt, int stroffset, int *lenp) argument 81 uint32_t absoffset = stroffset + fdt_off_dt_strings(fdt); 86 err = fdt_ro_probe_(fdt); 91 if (absoffset >= fdt_totalsize(fdt)) 93 len = fdt_totalsize(fdt) - absoffset; 95 if (fdt_magic(fdt) == FDT_MAGIC) { 98 if (fdt_version(fdt) > 133 fdt_string(const void *fdt, int stroffset) argument 138 fdt_string_eq_(const void *fdt, int stroffset, const char *s, int len) argument 147 fdt_get_max_phandle(const void *fdt) argument 173 fdt_mem_rsv(const void *fdt, int n) argument 185 fdt_get_mem_rsv(const void *fdt, int n, uint64_t *address, uint64_t *size) argument 199 fdt_num_mem_rsv(const void *fdt) argument 211 nextprop_(const void *fdt, int offset) argument 235 fdt_subnode_offset_namelen(const void *fdt, int offset, const char *name, int namelen) argument 254 fdt_subnode_offset(const void *fdt, int parentoffset, const char *name) argument 260 fdt_path_offset_namelen(const void *fdt, const char *path, int namelen) argument 305 fdt_path_offset(const void *fdt, const char *path) argument 310 fdt_get_name(const void *fdt, int nodeoffset, int *len) argument 348 fdt_first_property_offset(const void *fdt, int nodeoffset) argument 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 451 fdt_get_property(const void *fdt, int nodeoffset, const char *name, int *lenp) argument 459 fdt_getprop_namelen(const void *fdt, int nodeoffset, const char *name, int namelen, int *lenp) argument 477 fdt_getprop_by_offset(const void *fdt, int offset, const char **namep, int *lenp) argument 505 fdt_getprop(const void *fdt, int nodeoffset, const char *name, int *lenp) argument 511 fdt_get_phandle(const void *fdt, int nodeoffset) argument 528 fdt_get_alias_namelen(const void *fdt, const char *name, int namelen) argument 540 fdt_get_alias(const void *fdt, const char *name) argument 545 fdt_get_path(const void *fdt, int nodeoffset, char *buf, int buflen) argument 597 fdt_supernode_atdepth_offset(const void *fdt, int nodeoffset, int supernodedepth, int *nodedepth) argument 633 fdt_node_depth(const void *fdt, int nodeoffset) argument 644 fdt_parent_offset(const void *fdt, int nodeoffset) argument 654 fdt_node_offset_by_prop_value(const void *fdt, int startoffset, const char *propname, const void *propval, int proplen) argument 681 fdt_node_offset_by_phandle(const void *fdt, uint32_t phandle) argument 723 fdt_stringlist_count(const void *fdt, int nodeoffset, const char *property) argument 748 fdt_stringlist_search(const void *fdt, int nodeoffset, const char *property, const char *string) argument 778 fdt_stringlist_get(const void *fdt, int nodeoffset, const char *property, int idx, int *lenp) argument 823 fdt_node_check_compatible(const void *fdt, int nodeoffset, const char *compatible) argument 836 fdt_node_offset_by_compatible(const void *fdt, int startoffset, const char *compatible) argument 861 fdt_check_full(const void *fdt, size_t bufsize) argument [all...] |
H A D | fdt_rw.c | 53 #include <fdt.h> 58 static int fdt_blocks_misordered_(const void *fdt, argument 61 return (fdt_off_mem_rsvmap(fdt) < FDT_ALIGN(sizeof(struct fdt_header), 8)) 62 || (fdt_off_dt_struct(fdt) < 63 (fdt_off_mem_rsvmap(fdt) + mem_rsv_size)) 64 || (fdt_off_dt_strings(fdt) < 65 (fdt_off_dt_struct(fdt) + struct_size)) 66 || (fdt_totalsize(fdt) < 67 (fdt_off_dt_strings(fdt) + fdt_size_dt_strings(fdt))); 70 fdt_rw_probe_(void *fdt) argument 92 fdt_data_size_(void *fdt) argument 97 fdt_splice_(void *fdt, void *splicepoint, int oldlen, int newlen) argument 112 fdt_splice_mem_rsv_(void *fdt, struct fdt_reserve_entry *p, int oldn, int newn) argument 125 fdt_splice_struct_(void *fdt, void *p, int oldlen, int newlen) argument 139 fdt_splice_string_(void *fdt, int newlen) argument 152 fdt_find_add_string_(void *fdt, const char *s) argument 174 fdt_add_mem_rsv(void *fdt, uint64_t address, uint64_t size) argument 191 fdt_del_mem_rsv(void *fdt, int n) argument 203 fdt_resize_property_(void *fdt, int nodeoffset, const char *name, int len, struct fdt_property **prop) argument 221 fdt_add_property_(void *fdt, int nodeoffset, const char *name, int len, struct fdt_property **prop) argument 249 fdt_set_name(void *fdt, int nodeoffset, const char *name) argument 272 fdt_setprop_placeholder(void *fdt, int nodeoffset, const char *name, int len, void **prop_data) argument 290 fdt_setprop(void *fdt, int nodeoffset, const char *name, const void *val, int len) argument 305 fdt_appendprop(void *fdt, int nodeoffset, const char *name, const void *val, int len) argument 332 fdt_delprop(void *fdt, int nodeoffset, const char *name) argument 347 fdt_add_subnode_namelen(void *fdt, int parentoffset, const char *name, int namelen) argument 388 fdt_add_subnode(void *fdt, int parentoffset, const char *name) argument 393 fdt_del_node(void *fdt, int nodeoffset) argument 429 fdt_open_into(const void *fdt, void *buf, int bufsize) argument 493 fdt_pack(void *fdt) argument [all...] |
H A D | fdt_strerror.c | 53 #include <fdt.h>
|
H A D | fdt_sw.c | 53 #include <fdt.h> 58 static int fdt_sw_probe_(void *fdt) argument 60 if (fdt_magic(fdt) == FDT_MAGIC) 62 else if (fdt_magic(fdt) != FDT_SW_MAGIC) 67 #define FDT_SW_PROBE(fdt) \ 70 if ((err = fdt_sw_probe_(fdt)) != 0) \ 80 static int fdt_sw_probe_memrsv_(void *fdt) argument 82 int err = fdt_sw_probe_(fdt); 86 if (fdt_off_dt_strings(fdt) != 0) 91 #define FDT_SW_PROBE_MEMRSV(fdt) \ 106 fdt_sw_probe_struct_(void *fdt) argument 129 fdt_grab_space_(void *fdt, size_t len) argument 148 void *fdt = buf; local 167 fdt_resize(void *fdt, void *buf, int bufsize) argument 203 fdt_add_reservemap_entry(void *fdt, uint64_t addr, uint64_t size) argument 223 fdt_finish_reservemap(void *fdt) argument 234 fdt_begin_node(void *fdt, const char *name) argument 251 fdt_end_node(void *fdt) argument 265 fdt_find_add_string_(void *fdt, const char *s) argument 288 fdt_property_placeholder(void *fdt, const char *name, int len, void **valp) argument 310 fdt_property(void *fdt, const char *name, const void *val, int len) argument 322 fdt_finish(void *fdt) argument [all...] |
H A D | fdt_wip.c | 53 #include <fdt.h> 58 int fdt_setprop_inplace_namelen_partial(void *fdt, int nodeoffset, argument 66 propval = fdt_getprop_namelen_w(fdt, nodeoffset, name, namelen, 78 int fdt_setprop_inplace(void *fdt, int nodeoffset, const char *name, argument 84 propval = fdt_getprop(fdt, nodeoffset, name, &proplen); 91 return fdt_setprop_inplace_namelen_partial(fdt, nodeoffset, name, 104 int fdt_nop_property(void *fdt, int nodeoffset, const char *name) argument 109 prop = fdt_get_property_w(fdt, nodeoffset, name, &len); 118 int fdt_node_end_offset_(void *fdt, int offset) argument 123 offset = fdt_next_node(fdt, offse 128 fdt_nop_node(void *fdt, int nodeoffset) argument [all...] |
H A D | libfdt.h | 55 #include "fdt.h" 148 const void *fdt_offset_ptr(const void *fdt, int offset, unsigned int checklen); 150 static inline void *fdt_offset_ptr_w(void *fdt, int offset, int checklen) argument 152 return (void *)(uintptr_t)fdt_offset_ptr(fdt, offset, checklen); 155 uint32_t fdt_next_tag(const void *fdt, int offset, int *nextoffset); 184 int fdt_next_node(const void *fdt, int offset, int *depth); 189 * @fdt: FDT blob 193 int fdt_first_subnode(const void *fdt, int offset); 201 * @fdt: FDT blob 206 int fdt_next_subnode(const void *fdt, in 288 fdt_header_size(const void *fdt) argument 666 fdt_get_property_w(void *fdt, int nodeoffset, const char *name, int *lenp) argument 724 fdt_getprop_namelen_w(void *fdt, int nodeoffset, const char *name, int namelen, int *lenp) argument 763 fdt_getprop_w(void *fdt, int nodeoffset, const char *name, int *lenp) argument 1261 fdt_setprop_inplace_u32(void *fdt, int nodeoffset, const char *name, uint32_t val) argument 1296 fdt_setprop_inplace_u64(void *fdt, int nodeoffset, const char *name, uint64_t val) argument 1308 fdt_setprop_inplace_cell(void *fdt, int nodeoffset, const char *name, uint32_t val) argument 1374 fdt_property_u32(void *fdt, const char *name, uint32_t val) argument 1379 fdt_property_u64(void *fdt, const char *name, uint64_t val) argument 1386 fdt_property_cell(void *fdt, const char *name, uint32_t val) argument 1584 fdt_setprop_u32(void *fdt, int nodeoffset, const char *name, uint32_t val) argument 1619 fdt_setprop_u64(void *fdt, int nodeoffset, const char *name, uint64_t val) argument 1631 fdt_setprop_cell(void *fdt, int nodeoffset, const char *name, uint32_t val) argument 1756 fdt_appendprop_u32(void *fdt, int nodeoffset, const char *name, uint32_t val) argument 1791 fdt_appendprop_u64(void *fdt, int nodeoffset, const char *name, uint64_t val) argument 1803 fdt_appendprop_cell(void *fdt, int nodeoffset, const char *name, uint32_t val) argument [all...] |
H A D | libfdt_internal.h | 53 #include <fdt.h> 58 int fdt_ro_probe_(const void *fdt); 59 #define FDT_RO_PROBE(fdt) \ 62 if ((err_ = fdt_ro_probe_(fdt)) != 0) \ 66 int fdt_check_node_offset_(const void *fdt, int offset); 67 int fdt_check_prop_offset_(const void *fdt, int offset); 69 int fdt_node_end_offset_(void *fdt, int nodeoffset); 71 static inline const void *fdt_offset_ptr_(const void *fdt, int offset) argument 73 return (const char *)fdt + fdt_off_dt_struct(fdt) 76 fdt_offset_ptr_w_(void *fdt, int offset) argument 81 fdt_mem_rsv_(const void *fdt, int n) argument 89 fdt_mem_rsv_w_(void *fdt, int n) argument [all...] |
/seL4-refos-master/kernel/tools/hardware/ |
H A D | fdt.py | 18 self.fdt = pyfdt.pyfdt.FdtBlobParse(dtb_file).to_fdt() 27 ''' walk the underlying fdt, constructing wrapped nodes as we go ''' 28 root = self.fdt.get_rootnode()
|
/seL4-refos-master/kernel/tools/hardware/outputs/ |
H A D | c_header.py | 13 from hardware import config, fdt namespace 112 def get_kernel_devices(tree: fdt.FdtParser, rules: rule.HardwareYaml): 138 def get_interrupts(tree: fdt.FdtParser, rules: rule.HardwareYaml): 161 def run(tree: fdt.FdtParser, hardware: rule.HardwareYaml, config: config.Config, args: argparse.Namespace):
|
H A D | compat_strings.py | 10 from hardware import config, fdt namespace 14 def run(tree: fdt.FdtParser, hardware: rule.HardwareYaml, config: config.Config,
|
H A D | elfloader.py | 17 from hardware import config, device, fdt namespace 102 def get_elfloader_cpus(tree: fdt.FdtParser, devices: List[device.WrappedNode]) -> List[dict]: 143 def run(tree: fdt.FdtParser, hardware: rule.HardwareYaml, config: config.Config, args: argparse.Namespace):
|
H A D | yaml.py | 12 from hardware import config, fdt namespace 16 def get_kernel_devices(tree: fdt.FdtParser, rules: rule.HardwareYaml): 27 def run(tree: fdt.FdtParser, hardware: rule.HardwareYaml, config: config.Config,
|
/seL4-refos-master/kernel/tools/hardware/utils/ |
H A D | cpu.py | 10 from hardware.fdt import FdtParser
|
H A D | memory.py | 13 from hardware.fdt import FdtParser
|
H A D | rule.py | 15 from hardware.fdt import FdtParser
|
/seL4-refos-master/kernel/tools/ |
H A D | hardware_gen.py | 13 from hardware import config, fdt namespace 50 parsed_dt = fdt.FdtParser(args.dtb)
|
/seL4-refos-master/libs/libplatsupport/mach_include/imx/platsupport/mach/ |
H A D | epit.h | 17 #include <platsupport/fdt.h>
|