1 /*
2  * printk() for use before the final page tables are setup.
3  *
4  * Copyright (C) 2012 Citrix Systems, Inc.
5  *
6  * This program is free software; you can redistribute it and/or modify
7  * it under the terms of the GNU General Public License version 2 as
8  * published by the Free Software Foundation.
9  */
10 #ifndef __ARM_EARLY_PRINTK_H__
11 #define __ARM_EARLY_PRINTK_H__
12 
13 
14 #ifdef CONFIG_EARLY_PRINTK
15 
16 /* need to add the uart address offset in page to the fixmap address */
17 #define EARLY_UART_VIRTUAL_ADDRESS \
18     (FIXMAP_ADDR(FIXMAP_CONSOLE) +(EARLY_UART_BASE_ADDRESS & ~PAGE_MASK))
19 
20 #endif /* !CONFIG_EARLY_PRINTK */
21 
22 #endif
23