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

int main(int argc, char *argv[]) {
  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))) {
    return EXIT_FAILURE;
  }
  else {
    lcpuid(0xf, 0x0, &res);
    if (!(res.edx & (1 << 1))) {
      return EXIT_FAILURE;
    }
  }

  // If we are here, then cache monitoring capability is available. 
  return EXIT_SUCCESS;
}