Symbol: pv_addr
sys/arch/arm/arm/pmap7.c
2470
SLIST_HEAD(, pv_addr) kernel_pt_list = SLIST_HEAD_INITIALIZER(kernel_pt_list);
sys/arch/arm/include/pmap.h
184
SLIST_ENTRY(pv_addr) pv_list;