diff options
| -rw-r--r-- | mach-defpager/priv.h | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/mach-defpager/priv.h b/mach-defpager/priv.h index 6f5aade6..d77e509c 100644 --- a/mach-defpager/priv.h +++ b/mach-defpager/priv.h @@ -32,6 +32,28 @@ #include <hurd/ihash.h> /* + * Note: lock ordering: + * + * - all_partitions.lock + * - part->p_lock + * + * (from S_default_pager_objects) + * - all_pagers.lock + * - dstruct_lock + * + * (from S_default_pager_object_set_size that calls pager_truncate) + * - dstruct_lock + * - pager.lock + * - part->p_lock + * + * (from destroy_paging_partition) + * - all_partitions.lock + * - part->p_lock + * - all_pagers.lock + * - dstruct_lock + */ + +/* * Bitmap allocation. */ typedef unsigned int bm_entry_t; |