HelenOS sources

PFN2ADDR          291 kernel/arch/mips32/src/mm/frame.c 		    PFN2ADDR(phys_regions[i].start), PFN2ADDR(phys_regions[i].count));
PFN2ADDR           74 kernel/arch/sparc64/src/mm/sun4u/frame.c 			if (confdata == ADDR2PFN(KA2PA(PFN2ADDR(0))))
PFN2ADDR           75 kernel/arch/sparc64/src/mm/sun4u/frame.c 				confdata = ADDR2PFN(KA2PA(PFN2ADDR(2)));
PFN2ADDR          101 kernel/arch/sparc64/src/mm/sun4u/frame.c 	frame_mark_unavailable(ADDR2PFN(KA2PA(PFN2ADDR(0))), 1);
PFN2ADDR           74 kernel/arch/sparc64/src/mm/sun4v/frame.c 			if (confdata == ADDR2PFN(KA2PA(PFN2ADDR(0))))
PFN2ADDR           75 kernel/arch/sparc64/src/mm/sun4v/frame.c 				confdata = ADDR2PFN(KA2PA(PFN2ADDR(2)));
PFN2ADDR          101 kernel/arch/sparc64/src/mm/sun4v/frame.c 	frame_mark_unavailable(ADDR2PFN(KA2PA(PFN2ADDR(0))), 1);
PFN2ADDR          130 kernel/generic/src/mm/frame.c 				    (void *) PFN2ADDR(base), (void *) PFN2ADDR(count),
PFN2ADDR          131 kernel/generic/src/mm/frame.c 				    (void *) PFN2ADDR(zones.info[i].base),
PFN2ADDR          132 kernel/generic/src/mm/frame.c 				    (void *) PFN2ADDR(zones.info[i].count));
PFN2ADDR          603 kernel/generic/src/mm/frame.c 	zone_merge_internal(z1, z2, &old_z1, (void *) PA2KA(PFN2ADDR(pfn)));
PFN2ADDR          739 kernel/generic/src/mm/frame.c 		config.physmem_end = max(config.physmem_end, PFN2ADDR(start + count));
PFN2ADDR          749 kernel/generic/src/mm/frame.c 				uintptr_t addr = PFN2ADDR(confframe);
PFN2ADDR          750 kernel/generic/src/mm/frame.c 				if (overlaps(addr, PFN2ADDR(confcount),
PFN2ADDR          754 kernel/generic/src/mm/frame.c 				if (overlaps(addr, PFN2ADDR(confcount),
PFN2ADDR          760 kernel/generic/src/mm/frame.c 					if (overlaps(addr, PFN2ADDR(confcount),
PFN2ADDR          784 kernel/generic/src/mm/frame.c 		void *confdata = (void *) PA2KA(PFN2ADDR(confframe));
PFN2ADDR          986 kernel/generic/src/mm/frame.c 	return PFN2ADDR(pfn);
PFN2ADDR         1261 kernel/generic/src/mm/frame.c 		uintptr_t base = PFN2ADDR(fbase);
PFN2ADDR         1356 kernel/generic/src/mm/frame.c 		if ((i == num) || (PFN2ADDR(zones.info[i].base) == num)) {
PFN2ADDR         1373 kernel/generic/src/mm/frame.c 	uintptr_t base = PFN2ADDR(fbase);