Searched refs:v_l1_shift (Results 1 – 1 of 1) sorted by relevance
169 static int v_l1_shift; variable200 v_l1_shift = L1_MAP_ADDR_SPACE_BITS - TARGET_PAGE_BITS - v_l1_bits; in page_table_config_init()201 v_l2_levels = v_l1_shift / V_L2_BITS - 1; in page_table_config_init()204 assert(v_l1_shift % V_L2_BITS == 0); in page_table_config_init()214 lp = l1_map + ((index >> v_l1_shift) & (v_l1_size - 1)); in page_find_alloc()