Searched refs:eptcfg (Results 1 – 6 of 6) sorted by relevance
85 unsigned int eptcfg; in setup_page_sizes() local123 eptcfg = mfspr(SPRN_EPTCFG); in setup_page_sizes()133 if (eptcfg != 2) in setup_page_sizes()
626 *val = get_reg_val(id, vcpu->arch.eptcfg); in kvmppc_get_one_reg_e500_tlb()684 if (reg != vcpu->arch.eptcfg) in kvmppc_set_one_reg_e500_tlb()890 vcpu->arch.eptcfg = 0; in vcpu_mmu_init()
408 *spr_val = vcpu->arch.eptcfg; in kvmppc_core_emulate_mfspr_e500()
268 __u32 eptcfg; /* E.PT, read-only */ member
728 u32 eptcfg; member