#ifndef MSLEEP_H
#define MSLEEP_H
#include <stdint.h>
void syscall_msleep(uint32_t ms);
#endif