Ignore:
File:
1 edited

Legend:

Unmodified
Added
Removed

  • kernel/genarch/include/mm/page_pt.h

    rda1bafb r235e6c7  
    129129
    130130extern void page_mapping_insert_pt(as_t *, uintptr_t, uintptr_t, unsigned int);
    131 extern pte_t *page_mapping_find_pt(as_t *, uintptr_t);
     131extern pte_t *page_mapping_find_pt(as_t *, uintptr_t, bool);
    132132
    133133#endif
Note: See TracChangeset for help on using the changeset viewer.