Rev 1266 | Rev 1424 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 1266 | Rev 1380 | ||
---|---|---|---|
Line 59... | Line 59... | ||
59 | /** |
59 | /** |
60 | * This lock protects the page hash table. It must be acquired |
60 | * This lock protects the page hash table. It must be acquired |
61 | * after address space lock and after any address space area |
61 | * after address space lock and after any address space area |
62 | * locks. |
62 | * locks. |
63 | */ |
63 | */ |
64 | SPINLOCK_INITIALIZE(page_ht_lock); |
64 | mutex_t page_ht_lock; |
65 | 65 | ||
66 | /** |
66 | /** |
67 | * Page hash table. |
67 | * Page hash table. |
68 | * The page hash table may be accessed only when page_ht_lock is held. |
68 | * The page hash table may be accessed only when page_ht_lock is held. |
69 | */ |
69 | */ |