|
@@ -19,10 +19,4 @@ int HYPERVISOR_sched_op(int cmd, void *arg);
|
|
|
int HYPERVISOR_event_channel_op(int cmd, void *arg);
|
|
|
unsigned long HYPERVISOR_hvm_op(int op, void *arg);
|
|
|
int HYPERVISOR_memory_op(unsigned int cmd, void *arg);
|
|
|
-
|
|
|
-static inline void xen_debug_putc(int c)
|
|
|
-{
|
|
|
- register int v __asm__ ("x0") = c;
|
|
|
- __asm__ __volatile__("hvc 0xfffe" : "=r" (v) : "0" (v));
|
|
|
-}
|
|
|
#endif /* _ASM_ARM_XEN_HYPERCALL_H */
|