-
Michal Simek authored
We used cache_line as cache_line_lenght. For this reason we did cache flushing 4 times longer than was necessary. Signed-off-by:
Michal Simek <monstr@monstr.eu>
Michal Simek authoredWe used cache_line as cache_line_lenght. For this reason we did cache flushing 4 times longer than was necessary. Signed-off-by:
Michal Simek <monstr@monstr.eu>
Loading