Searched refs:pt_kern (Results 1 – 2 of 2) sorted by relevance
238 extern int pt_kern; in xen_pte_workaround()250 pt_kern = PT_USER; in xen_pte_workaround()
189 int pt_kern; variable642 mmu.pte_bits[i] = PT_VALID | pt_kern; in mmu_init()