Searched refs:sys_base_addr (Results 1 – 4 of 4) sorted by relevance
15 uintptr_t sys_base_addr; // Pointer to the base of the main system image. member
28 arch_chain_load((void *)(moot_system_info.sys_base_addr), 0, 0, 0, 0); in do_boot()
209 (void *)moot_system_info.sys_base_addr, in handle_usb_cmd()
29 .sys_base_addr = 0x00210000,
Completed in 4 milliseconds