void getcpuid(int info_type, int info[4]) {
    asm (""
        :
        :
        :
  );
}