From mboxrd@z Thu Jan 1 00:00:00 1970 Message-ID: To: 9fans@9fans.net From: Richard Miller <9fans@hamnavoe.com> Date: Fri, 19 Oct 2012 17:03:05 +0100 In-Reply-To: MIME-Version: 1.0 Content-Type: text/plain; charset="US-ASCII" Content-Transfer-Encoding: 7bit Subject: Re: [9fans] sheevaplug SD card driver Topicbox-Message-UUID: c10e0faa-ead7-11e9-9d60-3106f5b1d025 > kw-style caches (16-byte lines) mem.h says it's 32. But yeah, it's not much. > i had to look twice to verify i understood the pointer orthodontics. Correctness proof (or refutation) is left as an exercise for the reader...