#include <stdio.h>

static inline char smp_processor_id(void) {
  char apic_id = 0;
  asm("mov $1, %%eax\n\t"
  "cpuid\n\t"
  "mov %%bh, %0\n\t" : "=g" (apic_id));
  return apic_id;
}

int main (void) {
  printf("%d\n", smp_processor_id());

  return 0;
}