/* 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.
 */
int tst_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.
 */
int tst_check_driver(const char *name);

#endif	/* TST_KERNEL_H__ */