forked from PoliEcho-holding-org/kern
9 lines
123 B
C
9 lines
123 B
C
#include <time.h>
|
|
#include <syscall.h>
|
|
#include <stdint.h>
|
|
|
|
void sleep(uint32_t ms) {
|
|
syscall(SYS_SLEEP, ms, 0, 0);
|
|
}
|
|
|