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); |