libkern/c%2B%2B/OSKext.cpp

9650                 UInt64 numberValue = (UInt64) *(myPtrPtr);
9653                     numberValue >= kext_alloc_base &&
9654                     numberValue < kext_alloc_max ) {
9672                     numberValue >= vm_kernel_stext &&
9673                     numberValue < vm_kernel_etext ) {
9692         UInt64 numberValue = number->unsigned64BitValue();
9695             numberValue >= kext_alloc_base &&
9696             numberValue < kext_alloc_max ) {
9702             IOLog("OSNumber 0x%08llx (%llu) \n", numberValue, numberValue);
9704             myKext = OSKext::lookupKextWithAddress( (vm_address_t) numberValue );
9714             numberValue >= vm_kernel_stext &&
9715             numberValue < vm_kernel_etext ) {
9719             IOLog("OSNumber 0x%08llx (%llu) \n", numberValue, numberValue);