/seL4-camkes-master/kernel/tools/hardware/outputs/ |
H A D | compat_strings.py | 10 from hardware import config, fdt namespace
|
H A D | yaml.py | 12 from hardware import config, fdt namespace
|
H A D | elfloader.py | 17 from hardware import config, device, fdt namespace
|
H A D | c_header.py | 13 from hardware import config, fdt namespace
|
/seL4-camkes-master/projects/util_libs/libfdt/ |
H A D | fdt_addresses.c | 59 static int fdt_cells(const void *fdt, int nodeoffset, const char *name) argument 79 int fdt_address_cells(const void *fdt, int nodeoffset) argument 84 int fdt_size_cells(const void *fdt, int nodeoffset) argument
|
H A D | libfdt_internal.h | 71 static inline const void *fdt_offset_ptr_(const void *fdt, int offset) argument 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...] |
H A D | fdt_wip.c | 58 int fdt_setprop_inplace_namelen_partial(void *fdt, int nodeoffset, argument 78 int fdt_setprop_inplace(void *fdt, int nodeoffset, const char *name, argument 104 int fdt_nop_property(void *fdt, int nodeoffset, const char *name) argument 118 int fdt_node_end_offset_(void *fdt, int offset) argument 128 fdt_nop_node(void *fdt, int nodeoffset) argument [all...] |
H A D | fdt.c | 63 int fdt_ro_probe_(const void *fdt) argument 113 int fdt_check_header(const void *fdt) argument 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_sw.c | 58 static int fdt_sw_probe_(void *fdt) argument 80 static int fdt_sw_probe_memrsv_(void *fdt) argument 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_overlay.c | 103 static int overlay_get_target(const void *fdt, const void *fdto, argument 161 static int overlay_phandle_add_offset(void *fdt, int node, argument 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_rw.c | 58 static int fdt_blocks_misordered_(const void *fdt, argument 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_ro.c | 58 static int fdt_nodename_eq_(const void *fdt, int offset, argument 79 const char *fdt_get_string(const void *fdt, int stroffset, int *lenp) argument 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...] |
/seL4-camkes-master/projects/camkes/apps/fdtgen/ |
H A D | fdtgen.c | 22 void *fdt = ps_io_fdt_get(&dummy.io_fdt); local
|
/seL4-camkes-master/projects/camkes-tool/libsel4camkes/src/ |
H A D | sys_select.c | 26 muslcsys_fd_t *fdt; local 47 muslcsys_fd_t *fdt; local 68 muslcsys_fd_t *fdt; local [all...] |
H A D | sys_io.c | 141 muslcsys_fd_t *fdt = get_fd_struct(fd); local
|
H A D | sys_socket.c | 32 muslcsys_fd_t *fdt; local 54 muslcsys_fd_t *fdt; local 76 muslcsys_fd_t *fdt; local 96 muslcsys_fd_t *fdt; local 117 muslcsys_fd_t *fdt; local 171 muslcsys_fd_t *fdt; local [all...] |
/seL4-camkes-master/tools/riscv-pk/machine/ |
H A D | finisher.c | 48 void query_finisher(uintptr_t fdt) argument
|
H A D | uart.c | 66 void query_uart(uintptr_t fdt) argument
|
H A D | uart16550.c | 64 void query_uart16550(uintptr_t fdt) argument
|
H A D | uart16750.c | 71 void query_uart16750(uintptr_t fdt) argument
|
H A D | htif.c | 144 void query_htif(uintptr_t fdt) argument
|
/seL4-camkes-master/tools/seL4/elfloader-tool/src/ |
H A D | fdt.c | 33 uint32_t fdt_size(void *fdt) argument
|
/seL4-camkes-master/kernel/tools/ |
H A D | hardware_gen.py | 13 from hardware import config, fdt namespace
|
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/src/arch/arm/ |
H A D | guest_vcpu_util.c | 70 static int generate_psci_node(void *fdt, int root_offset) argument 85 int fdt_generate_plat_vcpu_node(vm_t *vm, void *fdt) argument [all...] |
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/src/arch/arm/devices/ |
H A D | vpci.c | 223 static int append_prop_with_cells(void *fdt, int offset, uint64_t val, int num_cells, const char *name) argument 238 int fdt_generate_vpci_node(vm_t *vm, vmm_pci_space_t *pci, void *fdt, int gic_phandle) argument [all...] |