The following reply was made to PR kern/38720; it has been noted by GNATS. From: Antti Kantee <pooka%cs.hut.fi@localhost> To: gnats-bugs%netbsd.org@localhost Cc: Subject: Re: kern/38720 Date: Tue, 6 Jan 2009 00:25:41 +0200 Would it make sense to call them cpu_{curcpu,curlwp}() instead of x86_curfoo() etc?