1 #ifndef _VX_DEBUG_CMD_H
2 #define _VX_DEBUG_CMD_H
7 #define VCMD_dump_history VC_CMD(DEBUG, 1, 0)
9 #define VCMD_read_history VC_CMD(DEBUG, 5, 0)
10 #define VCMD_read_monitor VC_CMD(DEBUG, 6, 0)
12 struct vcmd_read_history_v0 {
18 struct vcmd_read_monitor_v0 {
29 #include <asm/compat.h>
31 struct vcmd_read_history_v0_x32 {
34 compat_uptr_t data_ptr;
37 struct vcmd_read_monitor_v0_x32 {
40 compat_uptr_t data_ptr;
43 #endif /* CONFIG_COMPAT */
45 extern int vc_dump_history(uint32_t);
47 extern int vc_read_history(uint32_t, void __user *);
48 extern int vc_read_monitor(uint32_t, void __user *);
52 extern int vc_read_history_x32(uint32_t, void __user *);
53 extern int vc_read_monitor_x32(uint32_t, void __user *);
55 #endif /* CONFIG_COMPAT */
57 #endif /* __KERNEL__ */
58 #endif /* _VX_DEBUG_CMD_H */