// 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);

}