PT32_ROOT_LEVEL
PT32_ROOT_LEVEL);
quadrant = (mmu->cpu_role.base.level == PT32_ROOT_LEVEL) ? i : 0;
root = mmu_alloc_root(vcpu, root_gfn, quadrant, PT32_ROOT_LEVEL);
case PT32_ROOT_LEVEL:
role.base.level = PT32_ROOT_LEVEL;
if (level == PT32_ROOT_LEVEL) {
gpte &= level - (PT32_ROOT_LEVEL + mmu->cpu_role.ext.cr4_pse);
top_level = PT32_ROOT_LEVEL;