blob: 56134e0bd65d4d347cb93e7f554a0d491fe20e32 (
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
|
/******************************************************************************
* xen/console.h
*
* Xen header file concerning console access.
*/
#ifndef __CONSOLE_H__
#define __CONSOLE_H__
#include <xen/spinlock.h>
#include <xen/guest_access.h>
extern spinlock_t console_lock;
void set_printk_prefix(const char *prefix);
long read_console_ring(GUEST_HANDLE(char), u32 *, int);
void init_console(void);
void console_endboot(int disable_vga);
void console_force_unlock(void);
void console_force_lock(void);
void console_start_sync(void);
void console_end_sync(void);
#endif /* __CONSOLE_H__ */
|
