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 | */ |