Searched refs:eptcfg (Results 1 – 6 of 6) sorted by relevance
404 unsigned int eptcfg; in setup_page_sizes() local444 eptcfg = mfspr(SPRN_EPTCFG); in setup_page_sizes()454 if (eptcfg != 2) in setup_page_sizes()477 eptcfg = mfspr(SPRN_EPTCFG); in setup_page_sizes()502 sps = eptcfg & 0x1f; in setup_page_sizes()503 eptcfg >>= 5; in setup_page_sizes()504 ps = eptcfg & 0x1f; in setup_page_sizes()505 eptcfg >>= 5; 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()
269 __u32 eptcfg; /* E.PT, read-only */ member
709 u32 eptcfg; member