ARK-OS/arkos/kernel/rust/helpers/time.c

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