pmap_ptedinhash
if ((pte = pmap_ptedinhash(pted)) != NULL) {
static inline void *pmap_ptedinhash(struct pte_desc *);
if ((pte = pmap_ptedinhash(pted)) != NULL) {
if ((pte = pmap_ptedinhash(pted)) != NULL) {
if ((pte = pmap_ptedinhash(pted)) != NULL)
if ((pte = pmap_ptedinhash(pted)) != NULL)
if ((pte = pmap_ptedinhash(pted)) != NULL)
if ((pte = pmap_ptedinhash(pted)) != NULL)
if ((pte = pmap_ptedinhash(pted)) != NULL) {
if ((pte = pmap_ptedinhash(pted)) != NULL) {
if ((pte = pmap_ptedinhash(pted)) != NULL)
if ((pte = pmap_ptedinhash(pted)) != NULL)
if ((pte = pmap_ptedinhash(pted)) != NULL) {
if ((pte = pmap_ptedinhash(pted)) != NULL)
if ((pte = pmap_ptedinhash(pted)) != NULL)