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