Searched refs:OS_ResetSystem (Results 1 – 3 of 3) sorted by relevance
63 void OS_ResetSystem(u32 parameter);65 void OS_ResetSystem(void);
83 OS_ResetSystem(param + 1); in NitroMain()99 OS_ResetSystem(param + 1); in NitroMain()
100 void OS_ResetSystem(u32 parameter) in OS_ResetSystem() function171 void OS_ResetSystem(void) in OS_ResetSystem() function