#include <stdio.h>
#include <stdlib.h>
#include "machine.h"

int main(int argc, char *argv[]) {
  int ret, det=1;
  struct cpuid_out res;

  // Logic below from https://github.com/01org/intel-cmt-cat/blob/master/lib/host_cap.c
  lcpuid(0x7, 0x0, &res);
  if (!(res.ebx & (1 << 12))) {
    det = 0;
    printf("NOT DETECTED");
  }
  else {
    lcpuid(0xf, 0x0, &res);
    if (!(res.edx & (1 << 1))) {
      det=0;
      printf("NOT DETECTED");
    }
  }

  if (det)
    printf("DETECTED");

  return 0;
}