/* * On many chips, cacheline streaming does not work. */