static unsigned long int get_kernel_physical_offset(void) { unsigned long int offset; offset = device_get_symbol_address(DEVICE_SYMBOL(kernel_physical_offset)); if (!offset) { offset = find_kernel_text_from_iomem(); } if (offset) { return offset; } return default_kernel_physical_offset; }
static bool setup_variables(void) { kernel_physical_offset = device_get_symbol_address(DEVICE_SYMBOL(kernel_physical_offset)); if (kernel_physical_offset) { return true; } kernel_physical_offset = find_kernel_text_from_iomem(); if (kernel_physical_offset) { return true; } kernel_physical_offset = find_kernel_text_from_config(); if (kernel_physical_offset) { return true; } print_reason_device_not_supported(); return false; }