HelenOS sources

VHPT_SIZE          45 kernel/arch/ia64/src/mm/vhpt.c 	    frame_alloc(SIZE2FRAMES(VHPT_SIZE), FRAME_LOWMEM | FRAME_ATOMIC, 0);
VHPT_SIZE          85 kernel/arch/ia64/src/mm/vhpt.c 	memsetb(vhpt_base, VHPT_SIZE, 0);