Searched refs:pagetable_index (Results 1 – 1 of 1) sorted by relevance
496 uint32_t pagetable_index, offset_in_block; in get_image_offset() local500 pagetable_index = offset / s->block_size; in get_image_offset()503 if (pagetable_index >= s->max_table_entries || s->pagetable[pagetable_index] == 0xffffffff) in get_image_offset()506 bitmap_offset = 512 * (uint64_t) s->pagetable[pagetable_index]; in get_image_offset()