Symbol: sun3x_get_pte
sys/arch/sun68k/stand/libsa/sun3x.c
136
va, sun3x_get_pte(va));
sys/arch/sun68k/stand/libsa/sun3x.c
65
static u_int sun3x_get_pte(vaddr_t);