diff options
Diffstat (limited to 'extras/mini-os/arch/ia64/common.c')
| -rw-r--r-- | extras/mini-os/arch/ia64/common.c | 26 |
1 files changed, 13 insertions, 13 deletions
diff --git a/extras/mini-os/arch/ia64/common.c b/extras/mini-os/arch/ia64/common.c index c82e604bac..14958cd4ec 100644 --- a/extras/mini-os/arch/ia64/common.c +++ b/extras/mini-os/arch/ia64/common.c @@ -31,19 +31,19 @@ */ -#include "os.h" -#include "types.h" -#include "lib.h" -#include "page.h" -#include "xen/xen.h" -#include "privop.h" -#include "xen/callback.h" -#include "ia64_cpu.h" -#include "hypervisor.h" -#include "events.h" -#include "console.h" -#include "time.h" -#include "xmalloc.h" +#include <mini-os/os.h> +#include <mini-os/types.h> +#include <mini-os/lib.h> +#include <mini-os/page.h> +#include <xen/xen.h> +#include <mini-os/privop.h> +#include <xen/callback.h> +#include <mini-os/ia64_cpu.h> +#include <mini-os/hypervisor.h> +#include <mini-os/events.h> +#include <mini-os/console.h> +#include <mini-os/time.h> +#include <mini-os/xmalloc.h> /* For more console boot messages. */ |