Searched refs:timeout_lo (Results 1 - 1 of 1) sorted by relevance

/seL4-camkes-master/tools/rumprun/platform/xen/xen/include/mini-os/x86/x86_32/
H A Dhypercall-x86_32.h180 unsigned long timeout_lo = (unsigned long)timeout; local
181 return _hypercall2(long, set_timer_op, timeout_lo, timeout_hi);

Completed in 78 milliseconds