/* Included by <asm/page.h> but not actually needed */