#include "kernel/types.h"
struct sysinfo {
  uint64 freemem;
  uint64 nproc;
  uint64 unused_proc_num;
  uint64 load_avg;
};