Searched refs:cpu_to_fdt32 (Results 1 - 7 of 7) sorted by relevance

/seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/src/arch/arm/devices/
H A Dvpci.c266 pci_io_range_addr.hi = cpu_to_fdt32(PCI_RANGE_IO << 24);
275 pci_mem_range_addr.hi = cpu_to_fdt32(PCI_RANGE_MEM32 << 24);
276 pci_mem_range_addr.mid = cpu_to_fdt32(PCI_MEM_REGION_ADDR >> 32);
277 pci_mem_range_addr.low = cpu_to_fdt32((uint32_t)PCI_MEM_REGION_ADDR);
291 irq_map.pci_mask.pci_addr.hi = cpu_to_fdt32(i << PCI_ADDR_DEV_SHIFT);
294 irq_map.pci_mask.irq_pin = cpu_to_fdt32(pci_config->interrupt_pin);
295 irq_map.gic_phandle = cpu_to_fdt32(gic_phandle);
298 irq_map.irq_num = cpu_to_fdt32(pci_config->interrupt_line - 32);
302 irq_map.irq_flags = cpu_to_fdt32(0x4);
312 irq_mask.pci_addr.hi = cpu_to_fdt32(
[all...]
/seL4-camkes-master/projects/util_libs/libfdt/
H A Dfdt_sw.c246 nh->tag = cpu_to_fdt32(FDT_BEGIN_NODE);
261 *en = cpu_to_fdt32(FDT_END_NODE);
303 prop->tag = cpu_to_fdt32(FDT_PROP);
304 prop->nameoff = cpu_to_fdt32(nameoff);
305 prop->len = cpu_to_fdt32(len);
336 *end = cpu_to_fdt32(FDT_END);
354 prop->nameoff = cpu_to_fdt32(nameoff);
H A Dfdt_wip.c101 *p = cpu_to_fdt32(FDT_NOP);
H A Dfdt_rw.c217 (*prop)->len = cpu_to_fdt32(len);
243 (*prop)->tag = cpu_to_fdt32(FDT_PROP);
244 (*prop)->nameoff = cpu_to_fdt32(namestroff);
245 (*prop)->len = cpu_to_fdt32(len);
321 prop->len = cpu_to_fdt32(newlen);
379 nh->tag = cpu_to_fdt32(FDT_BEGIN_NODE);
383 *endtag = cpu_to_fdt32(FDT_END_NODE);
H A Dlibfdt_env.h95 static inline fdt32_t cpu_to_fdt32(uint32_t x) function
H A Dlibfdt.h256 fdth->name = cpu_to_fdt32(val); \
1264 fdt32_t tmp = cpu_to_fdt32(val);
1376 fdt32_t tmp = cpu_to_fdt32(val);
1587 fdt32_t tmp = cpu_to_fdt32(val);
1759 fdt32_t tmp = cpu_to_fdt32(val);
H A Dfdt_overlay.c312 adj_val = cpu_to_fdt32(fdt32_to_cpu(adj_val) + delta);
446 phandle_prop = cpu_to_fdt32(phandle);

Completed in 97 milliseconds