cpu_rmixl_match
static int cpu_rmixl_match(device_t, cfdata_t, void *);
cpu_rmixl_match, cpu_rmixl_attach, NULL, NULL);