Searched refs:set_single_reg (Results 1 – 1 of 1) sorted by relevance
77 set_single_reg(void *fdt, uint64_t start, uint64_t len) in set_single_reg() function162 set_single_reg(fdt, vm_get_highmem_base(ctx), vm_get_highmem_size(ctx)); in fdt_init()222 set_single_reg(fdt, uart_base, uart_size); in fdt_add_uart()253 set_single_reg(fdt, 0xe0000000, 0x10000000); in fdt_add_pcie()