Symbol: mm_flush_va
sys/arch/amd64/stand/prekern/mm.c
102
mm_flush_va(tmpva);
sys/arch/amd64/stand/prekern/mm.c
129
mm_flush_va(va);