Searched refs:os_relaunch (Results 1 – 3 of 3) sorted by relevance

/u-boot/include/
A D	os.h	408 void os_relaunch(char *argv[]);
/u-boot/arch/sandbox/cpu/
A D	start.c	418 os_relaunch(os_argv); in efi_reset_system() 432 os_relaunch(os_argv); in sandbox_reset()
A D	os.c	896 void os_relaunch(char *argv[]) in os_relaunch() function

Completed in 7 milliseconds

Last Index update Sat Jun 03 09:59:21 CST 2023