Searched refs:top_level (Results 1 – 2 of 2) sorted by relevance
300 int top_level, level; in increment_rover() local302 top_level = t->nodes[root_index].level; in increment_rover()303 for (level = node->level; level >= top_level; level--) { in increment_rover()310 if ((level == top_level) || in increment_rover()
568 int top_level, emulate = 0; in FNAME() local572 top_level = vcpu->arch.mmu.root_level; in FNAME()573 if (top_level == PT32E_ROOT_LEVEL) in FNAME()574 top_level = PT32_ROOT_LEVEL; in FNAME()581 if (FNAME(gpte_changed)(vcpu, gw, top_level)) in FNAME()