x86/page_tables/page_tables.cpp

40 bool page_aligned(PageTableLevel level, vaddr_t vaddr) {
331     DEBUG_ASSERT(page_aligned(level, vaddr));
460             bool vaddr_level_aligned = page_aligned(level, new_cursor->vaddr);
496             page_aligned(level, new_cursor->vaddr) && new_cursor->size >= ps;
528         DEBUG_ASSERT(new_cursor->size == 0 || page_aligned(level, new_cursor->vaddr));
619         bool level_valigned = page_aligned(level, new_cursor->vaddr);
620         bool level_paligned = page_aligned(level, new_cursor->paddr);
730             bool vaddr_level_aligned = page_aligned(level, new_cursor->vaddr);
770         DEBUG_ASSERT(new_cursor->size == 0 || page_aligned(level, new_cursor->vaddr));
801     DEBUG_ASSERT(new_cursor->size == 0 || page_aligned(PT_L, new_cursor->vaddr));
1035         if (!page_aligned(top, base)) {
1039         if (page_aligned(top, base + size)) {