Lines Matching refs:shift_code
38 uint32_t shift_code = 0; in mmu_hal_pages_to_bytes() local
41 shift_code = 16; in mmu_hal_pages_to_bytes()
44 shift_code = 15; in mmu_hal_pages_to_bytes()
47 shift_code = 14; in mmu_hal_pages_to_bytes()
50 HAL_ASSERT(shift_code); in mmu_hal_pages_to_bytes()
52 return page_num << shift_code; in mmu_hal_pages_to_bytes()
58 uint32_t shift_code = 0; in mmu_hal_bytes_to_pages() local
61 shift_code = 16; in mmu_hal_bytes_to_pages()
64 shift_code = 15; in mmu_hal_bytes_to_pages()
67 shift_code = 14; in mmu_hal_bytes_to_pages()
70 HAL_ASSERT(shift_code); in mmu_hal_bytes_to_pages()
72 return bytes >> shift_code; in mmu_hal_bytes_to_pages()