1 /* 2 * Copyright 2009, Colin Günther, coling@gmx.de 3 * All rights reserved. Distributed under the terms of the MIT License. 4 */ 5 6 7 #include "device.h" 8 9 #include <compat/sys/kernel.h> 10 11 u_int mp_maxid = 0; 12 int mp_ncpus = 1; 13