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()
620 int top_level, ret; in FNAME() local626 top_level = vcpu->arch.mmu->cpu_role.base.level; in FNAME()627 if (top_level == PT32E_ROOT_LEVEL) in FNAME()628 top_level = PT32_ROOT_LEVEL; in FNAME()635 if (FNAME(gpte_changed)(vcpu, gw, top_level)) in FNAME()
Completed in 11 milliseconds