HelenOS sources

BOOT_PAGE_TABLE_SIZE_IN_FRAMES   58 kernel/arch/arm32/src/mm/frame.c 		    BOOT_PAGE_TABLE_SIZE_IN_FRAMES,
BOOT_PAGE_TABLE_SIZE_IN_FRAMES   76 kernel/arch/arm32/src/mm/frame.c 	    BOOT_PAGE_TABLE_SIZE_IN_FRAMES);
BOOT_PAGE_TABLE_SIZE_IN_FRAMES   91 kernel/arch/arm32/src/mm/frame.c 	    BOOT_PAGE_TABLE_SIZE_IN_FRAMES);