621 static void bl_setup_gt64120_jump_kernel(void **p, uint64_t run_addr,  in bl_setup_gt64120_jump_kernel()  argument
693 static void write_bootloader_nanomips(uint8_t *base, uint64_t run_addr,  in write_bootloader_nanomips()  argument
720     bl_setup_gt64120_jump_kernel((void **)&p, run_addr, kernel_entry);  in write_bootloader_nanomips()
745 static void write_bootloader(uint8_t *base, uint64_t run_addr,  in write_bootloader()  argument
754                  ((run_addr + 0x580) & 0x0fffffff) >> 2);  in write_bootloader()
758     stl_p(base + 0x500, run_addr + 0x0580);  /* start: */  in write_bootloader()
759     stl_p(base + 0x504, run_addr + 0x083c);  /* print_count: */  in write_bootloader()
760     stl_p(base + 0x520, run_addr + 0x0580);  /* start: */  in write_bootloader()
761     stl_p(base + 0x52c, run_addr + 0x0800);  /* flush_cache: */  in write_bootloader()
762     stl_p(base + 0x534, run_addr + 0x0808);  /* print: */  in write_bootloader()
763     stl_p(base + 0x538, run_addr + 0x0800);  /* reg_cpu_isr: */  in write_bootloader()
764     stl_p(base + 0x53c, run_addr + 0x0800);  /* unred_cpu_isr: */  in write_bootloader()
765     stl_p(base + 0x540, run_addr + 0x0800);  /* reg_ic_isr: */  in write_bootloader()
766     stl_p(base + 0x544, run_addr + 0x0800);  /* unred_ic_isr: */  in write_bootloader()
767     stl_p(base + 0x548, run_addr + 0x0800);  /* reg_esr: */  in write_bootloader()
768     stl_p(base + 0x54c, run_addr + 0x0800);  /* unreg_esr: */  in write_bootloader()
769     stl_p(base + 0x550, run_addr + 0x0800);  /* getchar: */  in write_bootloader()
770     stl_p(base + 0x554, run_addr + 0x0800);  /* syscon_read: */  in write_bootloader()
785     bl_setup_gt64120_jump_kernel((void **)&p, run_addr, kernel_entry);  in write_bootloader()