Symbol: ia64_fc_i
sys/arch/ia64/ia64/db_interface.c
392
ia64_fc_i((vaddr_t) dst);
sys/arch/ia64/ia64/machdep.c
836
ia64_fc_i(va);