rem: int state;
add: cpu_status state;
context: thread_get_thread_struct(thread_id id){	struct thread *t;	int state;	state = disable_interrupts();	GRAB_THREAD_LOCK();	t = thread_get_thread_struct_locked(id);	RELEASE_THREAD_LOCK();	restore_interrupts(state);	return t;}