PTE2VA
#define PTE2VA(pte) m68k_ptob(pte - ((pt_entry_t *)kptpa))
#define PTE2VA(pte) m68k_ptob(pte - ((pt_entry_t *)kptpa))
#define PTE2VA(pte) m68k_ptob(pte - PA2VA(kptpa, pt_entry_t *))
#define PTE2VA(pte) m68k_ptob(pte - ((pt_entry_t *)kptpa))
#define PTE2VA(pte) m68k_ptob(pte - ((pt_entry_t *)kptpa))
#define PTE2VA(pte) m68k_ptob(pte - ((pt_entry_t *)kptpa))
#define PTE2VA(pte) m68k_ptob(pte - ((pt_entry_t *)kptpa))
#define PTE2VA(pte) m68k_ptob(pte - ((pt_entry_t *)kptpa))