Lines Matching refs:pageBitsForSize
157 word_t idx = (vaddr & MASK(pageBitsForSize(ARMSection))) >> pageBitsForSize(ARMSmallPage); in map_kernel_frame()
207 idx = PPTR_BASE >> pageBitsForSize(ARMSection); in map_kernel_window()
229 phys += BIT(pageBitsForSize(ARMSuperSection)); in map_kernel_window()
233 while (idx < (PPTR_TOP >> pageBitsForSize(ARMSection))) { in map_kernel_window()
249 phys += BIT(pageBitsForSize(ARMSection)); in map_kernel_window()
267 phys += BIT(pageBitsForSize(ARMSection)); in map_kernel_window()
389 pd += (vptr >> pageBitsForSize(ARMSection)); in map_it_frame_cap()
391 targetSlot = pt + ((vptr & MASK(pageBitsForSize(ARMSection))) in map_it_frame_cap()
392 >> pageBitsForSize(ARMSmallPage)); in map_it_frame_cap()
453 pde_t *targetSlot = pd + (vptr >> pageBitsForSize(ARMSection)); in map_it_pt_cap()
653 pageBits = pageBitsForSize(generic_frame_cap_get_capFSize(bufferCap)); in lookupIPCBuffer()
749 ret.frameBase &= ~MASK(pageBitsForSize(ARMSuperSection)); in resolveVAddr()
767 ret.frameBase &= ~MASK(pageBitsForSize(ARMLargePage)); in resolveVAddr()
1468 assert((vptr & MASK(pageBitsForSize(page_size))) == 0);
1544 return (w & MASK(pageBitsForSize(sz))) == 0;
1744 return vaddr & ~MASK(pageBitsForSize(size));
1867 pte = pte_pte_small_set_address(pte, base_address + i * BIT(pageBitsForSize(ARMSmallPage)));
1901 pde = pde_pde_section_set_address(pde, base_address + i * BIT(pageBitsForSize(ARMSection)));
2083 MASK(pageBitsForSize(resolve_ret.frameSize));
2090 + (start & MASK(pageBitsForSize(resolve_ret.frameSize)));
2287 vtop = vaddr + BIT(pageBitsForSize(frameSize)) - 1;
2451 page_size = 1 << pageBitsForSize(generic_frame_cap_get_capFSize(cap));