1
2
3
4
5
6
7
8
9#ifndef HW_MIPS_BOOTLOADER_H
10#define HW_MIPS_BOOTLOADER_H
11
12#include "exec/cpu-defs.h"
13
14void bl_gen_jump_to(uint32_t **p, target_ulong jump_addr);
15void bl_gen_jump_kernel(uint32_t **p, target_ulong sp, target_ulong a0,
16 target_ulong a1, target_ulong a2, target_ulong a3,
17 target_ulong kernel_addr);
18void bl_gen_write_ulong(uint32_t **p, target_ulong addr, target_ulong val);
19void bl_gen_write_u32(uint32_t **p, target_ulong addr, uint32_t val);
20void bl_gen_write_u64(uint32_t **p, target_ulong addr, uint64_t val);
21
22#endif
23