Symbol: phystol
sys/dev/isa/wds.c
328
scb = wds_scb_phys_kv(sc, phystol(wmbi->scb_addr));
sys/dev/isa/wds.c
550
scb = wds_scb_phys_kv(sc, phystol(wmbo->scb_addr));