overflows_into_positive 392 kernel/generic/src/mm/as.c if (overflows_into_positive(addr, P2SZ(count))) overflows_into_positive 771 kernel/generic/src/mm/as.c if (overflows_into_positive(*base, size)) { overflows_into_positive 1052 kernel/generic/src/mm/as.c if (overflows_into_positive(address, P2SZ(pages)))HelenOS homepage, sources at GitHub