sambuc/codezero
1
0
Fork 0
mirror of https://github.com/drasko/codezero.git synced 2026-01-31 20:23:14 +01:00
Code Issues Actions Packages Projects Releases Wiki Activity

Some more progress with debugging pager exits

Browse Source
This commit is contained in:
Bahadir Balban
2009-10-30 18:28:45 +02:00
parent 18ffa0b4d1
commit ee7621b2df
9 changed files with 50 additions and 23 deletions
Download Patch File Download Diff File Expand all files Collapse all files

7
src/generic/space.c
View File

@@ -68,7 +68,12 @@ void address_space_add(struct address_space *space)
void address_space_remove(struct address_space *space)
{
spin_lock(&curcont->space_list.list_lock);
BUG_ON(list_empty(&space->list));
/*
* If current is quitting as the last task of this space,
* its tcb may already be removed, and this is fine
*/
BUG_ON(list_empty(&space->list) && space != current->space);
BUG_ON(--curcont->space_list.count < 0);
list_remove_init(&space->list);
spin_unlock(&curcont->space_list.list_lock);