Rename the __percpu section
authorBarret Rhoden <brho@cs.berkeley.edu>
Wed, 28 Aug 2019 17:46:42 +0000 (13:46 -0400)
committerBarret Rhoden <brho@cs.berkeley.edu>
Tue, 1 Oct 2019 14:17:01 +0000 (10:17 -0400)
commit8bb710db69f35e5af885480feb97ef347a0273c8
treea4b931a26708632ddd4ab664746395c94c1b2c3d
parentcb0a7c326c8bed00a2ebca85a96e7740c726f52d
Rename the __percpu section

__percpu is used by Linux to tag percpu code.  I'd like to keep those
tags when porting Linux drivers and possibly use those tags in the
future.  There's no reason to not change the section name.

Signed-off-by: Barret Rhoden <brho@cs.berkeley.edu>
kern/include/compiler.h
kern/include/percpu.h