
#ifndef __CLOCK_SERVER_H__
#define __CLOCK_SERVER_H__

#include <std.h>
#include <scheduler.h>

extern int clock_server_tid;

typedef enum {
    CLOCK_NOTIFY = 1,
    CLOCK_DELAY = 2,
    CLOCK_TIME = 3,
    CLOCK_DELAY_UNTIL = 4
} clock_req_type;

typedef struct {
    clock_req_type type;
    uint ticks;
} clock_req;

void clock_server(void);

#endif


#ifndef __CLOCK_SERVER_H__
#define __CLOCK_SERVER_H__

#include <std.h>
#include <scheduler.h>

extern int clock_server_tid;

typedef enum {
    CLOCK_NOTIFY = 1,
    CLOCK_DELAY = 2,
    CLOCK_TIME = 3,
    CLOCK_DELAY_UNTIL = 4
} clock_req_type;

typedef struct {
    clock_req_type type;
    uint ticks;
} clock_req;

void __attribute__ ((noreturn)) clock_server(void);

#endif

Fix warning given by Clang
Fix warning given by Clang
