kernel/lib/kspin.c


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

#include <lib.h>
#include <comus/drivers/pit.h>
#include <comus/asm.h>

void kspin_seconds(size_t seconds)
{
	kspin_milliseconds(seconds * 1000);
}

void kspin_milliseconds(size_t milliseconds)
{
	uint64_t start = ticks;
	while ((ticks - start) < milliseconds)
		int_wait();
}