/*
 *   This file contains declarations/definitions of functions that
 *   _can_ be inlined.
 */
/* $Id: mpinline.h,v 2.0 1997/11/14 03:52:59 karim Exp karim $ */

#include "../kernel/ix86/level0.h"
#include "../kernel/none/level1.h"