original_kernel/include/xen/hvc-console.h