/* SPDX-License-Identifier: GPL-2.0-or-later * Copyright (c) 2017 Cyril Hrubis <chrubis@suse.cz> */#ifndef TST_KERNEL_H__#define TST_KERNEL_H__/* * Returns 32 if we are running on 32bit kernel and 64 if on 64bit kernel. */inttst_kernel_bits(void);/** * Checks support for the kernel driver. * * @param name The name of the driver. * @return Returns 0 if the kernel has the driver or modprobe is missing. */inttst_check_driver(constchar*name);#endif /* TST_KERNEL_H__ */