#ifndef __PCB_H
#define __PCB_H

#include <os/psw.h>
#include <os/svc.h>

typedef struct {
	u64 registers[NUM_GPRS];
	Psw psw;
} PCB;

static inline void setcontext_pcb(PCB *pcb)
{
	setcontext(&(pcb->psw), pcb->registers);
}

static inline void savecontext_pcb(PCB *pcb)
{
	savecontext(&(pcb->psw), pcb->registers);
}

static inline void swapcontext_pcb(PCB *old, PCB *new)
{
	swapcontext(&(old->psw), old->registers, &(new->psw), new->registers);
}

#endif