Symbol: arm_pmap_alloc_poolpage
sys/arch/arm/include/arm32/pmap.h
1196
struct vm_page *arm_pmap_alloc_poolpage(int);
sys/arch/arm/include/arm32/pmap.h
1197
#define PMAP_ALLOC_POOLPAGE arm_pmap_alloc_poolpage