pcb.h

Go to the documentation of this file.

#ifndef __PCB_H_
#define __PCB_H_

#include <common/memory.h>

typedef int reg_t;
typedef int pid_t;
typedef void *addr_t;

typedef enum State{
  ready = 0,
  running = 1,
  terminated = 2,
} state_t;

typedef struct Pcb pcb_t;
typedef struct Context context_t;
typedef struct Stack stack_t;

pcb_t *init_pcb(pid_t pid, addr_t start_function);
context_t *init_context();
stack_t *init_stack();
void set_pcb_state(pcb_t *pcb, state_t state);
/*
*   @brief  Gets the state of a process
*
* @param [in] pcb Pointer to a PCB
*/
state_t get_pcb_state(pcb_t *pcb);
pid_t get_pid(pcb_t *pcb);
context_t *get_context(pcb_t *pcb);
addr_t get_pc(pcb_t *pcb);

#endif