#ifndef _LITMUS_PGM_H_
#define _LITMUS_PGM_H_

#include <litmus/litmus.h>

#define is_pgm_waiting(t) (tsk_rt(t)->ctrl_page && tsk_rt(t)->ctrl_page->pgm_waiting)
#define is_pgm_satisfied(t) (tsk_rt(t)->ctrl_page && tsk_rt(t)->ctrl_page->pgm_satisfied)

void setup_pgm_release(struct task_struct* t);

#endif