Symbol: pmap_ttb_get
sys/arm/arm/pmap-v6.c
6220
ttb = pmap_ttb_get(pmap);
sys/arm/arm/pmap-v6.c
6312
pcb->pcb_pagedir = pmap_ttb_get(pmap);