//
// Created by red031000 on 2020-05-07.
//

#ifndef POKEDIAMOND_OS_TERMINATE_PROC_H
#define POKEDIAMOND_OS_TERMINATE_PROC_H

void OS_Terminate(void);
void OS_Halt(void);

#endif //POKEDIAMOND_OS_TERMINATE_PROC_H