#pragma once

void * arch_idle_loop(void *);

void arch_create_thread(
		struct kc_thread *thread,
		void *(kc_thread_func)(void *),
		void *params);

void arch_swap_thread(
		struct kc_thread *outgoing,
		struct kc_thread *incoming);