Alexander Boettcher 1a94c3b623 Fix: thread identifier comparator ... The invalid thread is specified as 0,0,-1 (ec cap, sc cap, sem cap). The main thread is specified as 0,0,0. The comparator identified "tid_main == tid_invalid" as equal, which is obviously wrong. The patch compares at least ec and sem cap.		2012-07-04 14:56:46 +02:00
..
cap_sel_alloc.h	Bump year in copyright headers to 2012	2012-01-03 15:35:05 +01:00
ipc_msgbuf.h	Bump year in copyright headers to 2012	2012-01-03 15:35:05 +01:00
ipc_pager.h	Bump year in copyright headers to 2012	2012-01-03 15:35:05 +01:00
ipc.h	Do not marshal invalid capabilities on NOVA/x86	2012-03-13 16:32:23 +01:00
native_types.h	Fix: thread identifier comparator	2012-07-04 14:56:46 +02:00
pager.h	NOVA: Improve stability of process destruction	2012-06-20 19:44:07 +02:00
sleep.h	Bump year in copyright headers to 2012	2012-01-03 15:35:05 +01:00