t_refi 415 drivers/memory/emif.c u32 ref_ctrl_shdw = 0, val = 0, freq_khz, t_refi; t_refi 419 drivers/memory/emif.c t_refi = addressing->tREFI_ns / 100; t_refi 425 drivers/memory/emif.c val = t_refi * freq_khz / 10000;