Rev 687 | Rev 703 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 687 | Rev 699 | ||
|---|---|---|---|
| Line 93... | Line 93... | ||
| 93 | * |
93 | * |
| 94 | * @param page Virtual page. |
94 | * @param page Virtual page. |
| 95 | * @param asid Address space to wich page belongs. |
95 | * @param asid Address space to wich page belongs. |
| 96 | * @param root PTL0 address if non-zero. |
96 | * @param root PTL0 address if non-zero. |
| 97 | * |
97 | * |
| 98 | * @return NULL if there is no such mapping; entry from PTL3 describing the mapping otherwise. |
98 | * @return NULL if there is no such mapping; requested mapping otherwise. |
| 99 | */ |
99 | */ |
| 100 | pte_t *page_mapping_find(__address page, asid_t asid, __address root) |
100 | pte_t *page_mapping_find(__address page, asid_t asid, __address root) |
| 101 | { |
101 | { |
| 102 | ASSERT(page_operations); |
102 | ASSERT(page_operations); |
| 103 | ASSERT(page_operations->mapping_find); |
103 | ASSERT(page_operations->mapping_find); |