1 /* 2 ** Copyright 2008, James Woodcock. All rights reserved. 3 ** Distributed under the terms of the MIT License. 4 */ 5 6 #include <unistd.h> 7 #include <kernel/OS.h> 8 9 int 10 getpagesize(void) 11 { 12 return B_PAGE_SIZE; 13 } 14