HomeSort by: relevance | last modified time | path
    Searched refs:rump_user_schedule (Results 1 - 3 of 3) sorted by relevancy

  /src/sys/rump/librump/rumpkern/
klock.c 163 rump_user_schedule(int nlocks, void *interlock) function
rump.c 152 .hyp_backend_schedule = rump_user_schedule,
  /src/sys/rump/include/rump-sys/
kern.h 179 void rump_user_schedule(int, void *);

Completed in 24 milliseconds