Searched refs:fdt (Results 1 - 25 of 59) sorted by path

123

/seL4-refos-master/libs/librefossys/include/refos-io/
H A Dfiletable.h30 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 Dfiletable.c124 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 Dfiletable.h30 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 Dfiletable.c124 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 Dfdt.c53 #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 Dfdt_addresses.c54 #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 Dfdt_empty_tree.c53 #include <fdt.h>
H A Dfdt_overlay.c54 #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 Dfdt_ro.c53 #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 Dfdt_rw.c53 #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 Dfdt_strerror.c53 #include <fdt.h>
H A Dfdt_sw.c53 #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 Dfdt_wip.c53 #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 Dlibfdt.h55 #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 Dlibfdt_internal.h53 #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 Dfdt.py18 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 Dc_header.py13 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 Dcompat_strings.py10 from hardware import config, fdt namespace
14 def run(tree: fdt.FdtParser, hardware: rule.HardwareYaml, config: config.Config,
H A Delfloader.py17 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 Dyaml.py12 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 Dcpu.py10 from hardware.fdt import FdtParser
H A Dmemory.py13 from hardware.fdt import FdtParser
H A Drule.py15 from hardware.fdt import FdtParser
/seL4-refos-master/kernel/tools/
H A Dhardware_gen.py13 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 Depit.h17 #include <platsupport/fdt.h>

Completed in 331 milliseconds

123