Home
last modified time | relevance | path

Searched refs:max_idx (Results 1 – 2 of 2) sorted by relevance

/xen/xen/arch/x86/
A Dtboot.c313 unsigned int max_idx = DIV_ROUND_UP(max_pdx, PDX_GROUP_COUNT); in tboot_gen_frametable_integrity() local
320 eidx = find_next_zero_bit(pdx_group_valid, max_idx, sidx); in tboot_gen_frametable_integrity()
321 nidx = find_next_bit(pdx_group_valid, max_idx, eidx); in tboot_gen_frametable_integrity()
322 if ( nidx >= max_idx ) in tboot_gen_frametable_integrity()
A Dmm.c243 unsigned int max_idx = DIV_ROUND_UP(max_pdx, PDX_GROUP_COUNT); in init_frametable() local
251 eidx = find_next_zero_bit(pdx_group_valid, max_idx, sidx); in init_frametable()
252 nidx = find_next_bit(pdx_group_valid, max_idx, eidx); in init_frametable()
253 if ( nidx >= max_idx ) in init_frametable()
260 top_pg = mem_hotplug ? pdx_to_page(max_idx * PDX_GROUP_COUNT - 1) + 1 in init_frametable()

Completed in 11 milliseconds