#ifndef _CPU_DEVICE_ID
  #define _CPU_DEVICE_ID 1
  
  /*
   * Declare drivers belonging to specific x86 CPUs
   * Similar in spirit to pci_device_id and related PCI functions
   */
  
  #include <linux/mod_devicetable.h>
  
  extern const struct x86_cpu_id *x86_match_cpu(const struct x86_cpu_id *match);
  
  #endif