Symbol: map_ma_at_va
usr/src/uts/i86pc/dboot/dboot_startkern.c
2145
map_ma_at_va(start, start, 0);
usr/src/uts/i86pc/dboot/dboot_startkern.c
607
map_ma_at_va(pa_to_ma(pa), va, level);