Searched refs:pt_kern (Results 1 – 2 of 2) sorted by relevance
237 extern int pt_kern; in xen_pte_workaround()249 pt_kern = PT_USER; in xen_pte_workaround()
379 int pt_kern; variable938 mmu.pte_bits[i] = PT_VALID | pt_kern; in mmu_init()