fix cpuid

gcontini

2020-03-15 919409cb28a2ef9e97d7b15046fed2c5a4d0500f

 src/library/os/os.h

@@ -12,7 +12,6 @@
extern "C" {
#endif

#include "../base/base.h"
#include <stddef.h>
#include <string.h>
#include <ctype.h>
@@ -23,13 +22,14 @@
#include <unistd.h>
#include <stdbool.h>
#endif
#include "../base/base.h"

typedef struct {
   int id;
   char device[255];
   char device[MAX_PATH];
   unsigned char disk_sn[8];
   char label[255];
   bool preferred;
   int preferred;
} DiskInfo;

FUNCTION_RETURN getDiskInfos(DiskInfo* diskInfos, size_t* disk_info_size);