42,6 → 42,7 |
#include <synch/mutex.h> |
|
static pte_t *ht_create(int flags); |
static void ht_destroy(pte_t *page_table); |
|
static void ht_lock(as_t *as, bool lock); |
static void ht_unlock(as_t *as, bool unlock); |
48,6 → 49,7 |
|
as_operations_t as_ht_operations = { |
.page_table_create = ht_create, |
.page_table_destroy = ht_destroy, |
.page_table_lock = ht_lock, |
.page_table_unlock = ht_unlock, |
}; |
71,6 → 73,17 |
return NULL; |
} |
|
/** Destroy page table. |
* |
* Actually do nothing as the global page hash table is used. |
* |
* @param page_table This parameter is ignored. |
*/ |
void ht_destroy(pte_t *page_table) |
{ |
/* No-op. */ |
} |
|
/** Lock page table. |
* |
* Lock address space and page hash table. |