/*
 * Copyright 2009, Colin Günther, coling@gmx.de
 * All rights reserved. Distributed under the terms of the MIT License.
 */


#include "device.h"

#include <compat/sys/kernel.h>

u_int mp_maxid = 0;
int mp_ncpus = 1;