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
11u_int mp_maxid = 0;
12int mp_ncpus = 1;
13