Searched refs:TLBnCFG_PT (Results 1 – 2 of 2) sorted by relevance
177 #define TLBnCFG_PT 0x00040000 /* Can load from page table */ macro
891 vcpu->arch.tlbcfg[0] &= ~TLBnCFG_PT; in vcpu_mmu_init()