Lines Matching refs:pages
232 // TODO: cleanup already mapped pages
361 // TODO: cleanup already mapped pages
704 // clone existing pages
800 * \arg pages the number of pages to modify
806 size_t pages,
814 for (int i = 0; i < pages; i++) {
823 for (int i = 0; i < pages; i++) {
834 for (int i = 0; i < pages; i++) {
845 for (int i = 0; i < pages; i++) {
865 * \arg pages the number of pages to modify
871 size_t pages, size_t mflags, genvaddr_t va_hint)
891 if (offset + pages > X86_64_PTABLE_SIZE) { // mapping size ok
905 err = generic_modify_flags(leaf_pt, offset, pages, flags);
914 va_hint, va_hint + pages * pagesize);
916 // invlpg should work for large/huge pages
917 for (int i = 0; i < pages; i++) {
924 return paging_tlb_flush_range(cte_for_cap(mapping), offset, pages);
935 size_t pages, size_t mflags)
950 if (offset + pages > X86_64_PTABLE_SIZE) { // mapping size ok
954 errval_t err = generic_modify_flags(cte_for_cap(leaf_pt), offset, pages, flags);