HelenOS sources

frame_mark_unavailable  164 kernel/arch/amd64/src/mm/frame.c 		frame_mark_unavailable(0, 1);
frame_mark_unavailable  168 kernel/arch/amd64/src/mm/frame.c 		frame_mark_unavailable(AP_BOOT_OFFSET >> FRAME_WIDTH,
frame_mark_unavailable  287 kernel/arch/arm32/src/mach/integratorcp/integratorcp.c 	frame_mark_unavailable(ICP_FB_FRAME, ICP_FB_NUM_FRAME);
frame_mark_unavailable  288 kernel/arch/arm32/src/mach/integratorcp/integratorcp.c 	frame_mark_unavailable(0, 256);
frame_mark_unavailable   75 kernel/arch/arm32/src/mm/frame.c 	frame_mark_unavailable(BOOT_PAGE_TABLE_START_FRAME,
frame_mark_unavailable  132 kernel/arch/arm64/src/mm/frame.c 	frame_mark_unavailable(ADDR2PFN(physmem_base), 1);
frame_mark_unavailable  164 kernel/arch/ia32/src/mm/frame.c 		frame_mark_unavailable(0, 1);
frame_mark_unavailable  168 kernel/arch/ia32/src/mm/frame.c 		frame_mark_unavailable(AP_BOOT_OFFSET >> FRAME_WIDTH,
frame_mark_unavailable  100 kernel/arch/ia64/src/mm/frame.c 	frame_mark_unavailable(ADDR2PFN(ROM_BASE),
frame_mark_unavailable  103 kernel/arch/ia64/src/mm/frame.c 	frame_mark_unavailable(ADDR2PFN(KERNEL_RESERVED_AREA_BASE),
frame_mark_unavailable  240 kernel/arch/mips32/src/mm/frame.c 	frame_mark_unavailable(0, 1);
frame_mark_unavailable  266 kernel/arch/mips32/src/mm/frame.c 	frame_mark_unavailable(0, 1024 * 1024 / FRAME_SIZE);
frame_mark_unavailable  100 kernel/arch/ppc32/src/mm/frame.c 	frame_mark_unavailable(0, 8);
frame_mark_unavailable  106 kernel/arch/ppc32/src/mm/frame.c 	frame_mark_unavailable(ADDR2PFN(sdr1 & 0xffff000), 16);
frame_mark_unavailable   93 kernel/arch/riscv64/src/mm/frame.c 	frame_mark_unavailable(htif_frame, 1);
frame_mark_unavailable   94 kernel/arch/riscv64/src/mm/frame.c 	frame_mark_unavailable(pt_frame, 1);
frame_mark_unavailable  101 kernel/arch/sparc64/src/mm/sun4u/frame.c 	frame_mark_unavailable(ADDR2PFN(KA2PA(PFN2ADDR(0))), 1);
frame_mark_unavailable  101 kernel/arch/sparc64/src/mm/sun4v/frame.c 	frame_mark_unavailable(ADDR2PFN(KA2PA(PFN2ADDR(0))), 1);
frame_mark_unavailable  147 kernel/generic/include/mm/frame.h extern void frame_mark_unavailable(pfn_t, size_t);
frame_mark_unavailable 1121 kernel/generic/src/mm/frame.c 		frame_mark_unavailable(ADDR2PFN(KA2PA(config.base)),
frame_mark_unavailable 1125 kernel/generic/src/mm/frame.c 			frame_mark_unavailable(ADDR2PFN(init.tasks[i].paddr),
frame_mark_unavailable 1129 kernel/generic/src/mm/frame.c 			frame_mark_unavailable(ADDR2PFN(KA2PA(ballocs.base)),
frame_mark_unavailable 1136 kernel/generic/src/mm/frame.c 		frame_mark_unavailable(0, 1);