Searched refs:hat_kdi_use_pae (Results 1 – 1 of 1) sorted by relevance
58 uint_t hat_kdi_use_pae; /* if 0, use x86pte32_t for pte type */ variable88 hat_kdi_use_pae = mmu.pae_hat; in hat_kdi_init()250 else if (hat_kdi_use_pae) in kdi_prw()269 else if (hat_kdi_use_pae) in kdi_prw()