Symbol: pmap_page_rw
sys/arch/arm64/arm64/db_interface.c
273
pmap_page_rw(pmap_kernel(), pgva);
sys/arch/arm64/include/pmap.h
109
void pmap_page_rw(pmap_t pm, vaddr_t va);