// SPDX-License-Identifier: GPL-2.0 #include <linux/delay.h>#include <linux/ktime.h>#include <linux/timekeeping.h> __rust_helper void rust_helper_fsleep(unsigned long usecs){	fsleep(usecs);} __rust_helper ktime_t rust_helper_ktime_get_real(void){	return ktime_get_real();} __rust_helper ktime_t rust_helper_ktime_get_boottime(void){	return ktime_get_boottime();} __rust_helper ktime_t rust_helper_ktime_get_clocktai(void){	return ktime_get_clocktai();} __rust_helper s64 rust_helper_ktime_to_us(const ktime_t kt){	return ktime_to_us(kt);} __rust_helper s64 rust_helper_ktime_to_ms(const ktime_t kt){	return ktime_to_ms(kt);} __rust_helper void rust_helper_udelay(unsigned long usec){	udelay(usec);}