Searched refs:v_l1_bits (Results 1 – 1 of 1) sorted by relevance
190 uint32_t v_l1_bits; in page_table_config_init() local194 v_l1_bits = (L1_MAP_ADDR_SPACE_BITS - TARGET_PAGE_BITS) % V_L2_BITS; in page_table_config_init()195 if (v_l1_bits < V_L1_MIN_BITS) { in page_table_config_init()196 v_l1_bits += V_L2_BITS; in page_table_config_init()199 v_l1_size = 1 << v_l1_bits; in page_table_config_init()200 v_l1_shift = L1_MAP_ADDR_SPACE_BITS - TARGET_PAGE_BITS - v_l1_bits; in page_table_config_init()203 assert(v_l1_bits <= V_L1_MAX_BITS); in page_table_config_init()