Home
last modified time | relevance | path

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

/kernel/uniproton/src/core/kernel/kexc/
Dprt_kexc.c47 OS_SEC_L4_TEXT void PRT_SysReboot(void) in PRT_SysReboot() function
/kernel/uniproton/src/include/uapi/
Dprt_sys.h243 extern void PRT_SysReboot(void);
/kernel/uniproton/doc/design/
Dinterface_description.md659 void PRT_SysReboot(void)