ia64/xen-unstable

view stubdom/caml/hello.ml @ 18704:876618c33914

Define spin_barrier_irq() for IRQ-safe spinlocks, and use it for virq_lock.
Signed-off-by: Keir Fraser <keir.fraser@citrix.com>
author Keir Fraser <keir.fraser@citrix.com>
date Wed Oct 22 15:06:01 2008 +0100 (2008-10-22)
parents a905c582a406
children
line source
1 let main arg =
2 Printf.printf "Hello, world!\n%!."
4 let _ = Callback.register "main" main