x86/page_tables/page_tables.cpp

45 uint vaddr_to_index(PageTableLevel level, vaddr_t vaddr) {
56         panic("vaddr_to_index: invalid level\n");
387     uint index = vaddr_to_index(level, vaddr);
408     uint index = vaddr_to_index(PT_L, vaddr);
448     uint index = vaddr_to_index(level, new_cursor->vaddr);
544     uint index = vaddr_to_index(PT_L, new_cursor->vaddr);
609     uint index = vaddr_to_index(level, new_cursor->vaddr);
670     uint index = vaddr_to_index(PT_L, new_cursor->vaddr);
719     uint index = vaddr_to_index(level, new_cursor->vaddr);
787     uint index = vaddr_to_index(PT_L, new_cursor->vaddr);
1031         uint start = vaddr_to_index(top, base);
1032         uint end = vaddr_to_index(top, base + size - 1);