#pragma once

#include "pageallocator.h"
#include "process.h"

void *initialize_context(void *task_entry, struct page_stack_t *page_stack);

void load_context(struct process_state_t *context) __attribute__((noreturn));