/* SPDX-License-Identifier: GPL-2.0 */

unsigned int get_android_version(void);