Symbol: PTE_BITS
usr/src/uts/i86xpv/boot/boot_xconsole.c
82
xen_info->shared_info | PTE_BITS, UVMF_INVLPG | UVMF_LOCAL);
usr/src/uts/i86xpv/boot/boot_xconsole.c
89
mmu_ptob((x86pte_t)xen_info->console.domU.mfn) | PTE_BITS,