Symbol: pmap_pte_setbits
sys/arch/usermode/usermode/db_memrw.c
176
pmap_pte_setbits(ppte, PTE_W);
sys/arch/x86/x86/db_memrw.c
176
pmap_pte_setbits(ppte, PTE_W);