Searched refs:top_level (Results 1 – 2 of 2) sorted by relevance
301 int top_level, level; in increment_rover() local303 top_level = t->nodes[root_index].level; in increment_rover()304 for (level = node->level; level >= top_level; level--) { in increment_rover()311 if ((level == top_level) || in increment_rover()
445 int top_level; in FNAME() local456 top_level = vcpu->arch.mmu.root_level; in FNAME()457 if (top_level == PT32E_ROOT_LEVEL) in FNAME()458 top_level = PT32_ROOT_LEVEL; in FNAME()465 if (FNAME(gpte_changed)(vcpu, gw, top_level)) in FNAME()