Home
last modified time | relevance | path

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

/xen-4.10.0-shim-comet/xen/arch/x86/
A Dtboot.c312 unsigned int max_idx = (max_pdx + PDX_GROUP_COUNT - 1)/PDX_GROUP_COUNT; in tboot_gen_frametable_integrity() local
319 eidx = find_next_zero_bit(pdx_group_valid, max_idx, sidx); in tboot_gen_frametable_integrity()
320 nidx = find_next_bit(pdx_group_valid, max_idx, eidx); in tboot_gen_frametable_integrity()
321 if ( nidx >= max_idx ) in tboot_gen_frametable_integrity()
A Dmm.c223 unsigned int max_idx = (max_pdx + PDX_GROUP_COUNT - 1) / PDX_GROUP_COUNT; in init_frametable() local
231 eidx = find_next_zero_bit(pdx_group_valid, max_idx, sidx); in init_frametable()
232 nidx = find_next_bit(pdx_group_valid, max_idx, eidx); in init_frametable()
233 if ( nidx >= max_idx ) in init_frametable()
240 top_pg = mem_hotplug ? pdx_to_page(max_idx * PDX_GROUP_COUNT - 1) + 1 in init_frametable()

Completed in 11 milliseconds