/**
 * critical.h
 * SPE プロセスマネージャ spe_manager
 * クリティカルセクションに関する変数や関数など
 */

#ifndef  SPE_MANAGER__CRITICAL_H
#define  SPE_MANAGER__CRITICAL_H

#include <linux/semaphore.h>
#include <linux/spinlock.h>


// 外部から参照される関数
void initialize_critical(void);
struct semaphore *get_semaphore_for_spe_pid(void);
struct semaphore *get_semaphore_for_process_list(void);
spinlock_t *get_spinlock_for_process_list(void);


#endif /*SPE_MANAGER__CRITICAL_H*/