HelenOS sources

EFI_PAGE_SIZE     212 boot/arch/arm64/src/main.c 	    ALIGN_UP(payload_unpacked_size(), EFI_PAGE_SIZE) / EFI_PAGE_SIZE;
EFI_PAGE_SIZE     213 boot/arch/arm64/src/main.c 	uint64_t bootinfo_pages = ALIGN_UP(sizeof(*bootinfo), EFI_PAGE_SIZE) /
EFI_PAGE_SIZE     214 boot/arch/arm64/src/main.c 	    EFI_PAGE_SIZE;
EFI_PAGE_SIZE     226 boot/arch/arm64/src/main.c 	bootinfo = (void *) alloc_addr + component_pages * EFI_PAGE_SIZE;
EFI_PAGE_SIZE     232 boot/arch/arm64/src/main.c 	uint8_t *ram_end = kernel_dest + component_pages * EFI_PAGE_SIZE;
EFI_PAGE_SIZE     267 boot/arch/arm64/src/main.c 			current_size += desc->pages * EFI_PAGE_SIZE;
EFI_PAGE_SIZE     289 boot/arch/arm64/src/main.c 		current_size = desc->pages * EFI_PAGE_SIZE;
EFI_PAGE_SIZE     109 boot/arch/ia64/src/main.c 					o->size += md->pages * EFI_PAGE_SIZE;
EFI_PAGE_SIZE     125 boot/arch/ia64/src/main.c 			memmap[items].size = md->pages * EFI_PAGE_SIZE;
HelenOS homepage, sources at GitHub