#include <kernel/sched.h>
#include <arch/cls.h>
#include <arch/spinlock.h>
#include <stdbool.h>
#include <kernel/event.h>
#include <kernel/alloc.h>
#include <arch/interrupt.h>

void syscall_exit(int status){
	proc_t* proc = arch_getcls()->thread->proc;

	spinlock_acquire(&proc->lock);
	
	// TODO make all other threads exit

	free(proc->threads);

	for(uintmax_t fd = 0; fd < proc->fdtable.fdcount; ++ fd)
		fd_free(&proc->fdtable, fd);
	


	proc->state = PROC_STATE_ZOMBIE;
	proc->status = status;

	vfs_close(proc->root);	
	vfs_close(proc->cwd);	

	proc_t* init = sched_getinit();

	spinlock_acquire(&init->lock);

	proc_t* child = proc->child;
	proc_t* firstchild = child;

	while(child){
		spinlock_acquire(&child->lock);
		child->parent = init;	
		if(!child->sibling){
			child->sibling = init->child;
			init->child = firstchild;
		}
		spinlock_release(&child->lock);
		child = child->sibling;
	}	

	spinlock_release(&init->lock);
	event_signal(&proc->parent->childevent, true);

        // context and thread destruction will happen in the waitpid()
        // the pointer to this thread will reside in proc->threads

        proc->threads = arch_getcls()->thread;
	
	arch_interrupt_disable();

	spinlock_release(&proc->lock);

	sched_dequeue();
	
	__builtin_unreachable();

}