blob: 5f7c52956e91988baaa3d2b2f68ee898ea52c800 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
|
/*
* printk() for use before the final page tables are setup.
*
* Copyright (C) 2012 Citrix Systems, Inc.
*
* This program is free software; you can redistribute it and/or modify
* it under the terms of the GNU General Public License version 2 as
* published by the Free Software Foundation.
*/
#ifndef __ARM_EARLY_PRINTK_H__
#define __ARM_EARLY_PRINTK_H__
#include <xen/config.h>
#ifdef EARLY_PRINTK
void early_printk(const char *fmt, ...)
__attribute__((format (printf, 1, 2)));
void early_panic(const char *fmt, ...) __attribute__((noreturn))
__attribute__((format (printf, 1, 2)));
#else
static inline __attribute__((format (printf, 1, 2))) void
early_printk(const char *fmt, ...)
{}
static inline void __attribute__((noreturn))
__attribute__((format (printf, 1, 2))) early_panic(const char *fmt, ...)
{while(1);}
#endif
#endif
|