On 07/25/14 15:43, Manuel Bouyer wrote:
The RPI CPU has a VIVT L1 data cache, which could explain the behavior difference (pmap_zero_page_generic() will behaves differently). But I'm still surprised that it didn't cause more problems.
RPI L1 is VIPT. cpu0 at mainbus0 core 0: 700 MHz ARM1176JZ-S r0p7 (ARM11J V6ZK core) cpu0: DC enabled IC enabled WB enabled LABT cpu0: 16KB/32B 4-way L1 VIPT Instruction cache cpu0: 16KB/32B 4-way write-back-locking-C L1 VIPT Data cache Nick