tlb_walk
tlb_walk(void *ctx, bool (*func)(void *, vaddr_t, uint32_t, uint32_t))
tlb_walk(pm, func);
void tlb_walk(void *, tlb_walkfunc_t);