Symbol: __DDR3_VALUE_PICO
sys/dev/ic/spdmem.c
823
cycle_time = __DDR3_VALUE_PICO(s, tCKmin);
sys/dev/ic/spdmem.c
840
__DDR3_CYCLES(__DDR3_VALUE_PICO(s, tAAmin)),
sys/dev/ic/spdmem.c
841
__DDR3_CYCLES(__DDR3_VALUE_PICO(s, tRCDmin)),
sys/dev/ic/spdmem.c
842
__DDR3_CYCLES(__DDR3_VALUE_PICO(s, tRPmin)),