1
1

time.json 953 B

1234567891011121314151617181920212223242526272829303132333435363738394041424344
  1. {
  2. "types": [
  3. "Timer"
  4. ],
  5. "funcs": [
  6. {
  7. "name": "sv_time_get",
  8. "returns": "()",
  9. "vdso_specific": true,
  10. "args": [
  11. {
  12. "name": "ptr",
  13. "ty": "*mut ()"
  14. }
  15. ]
  16. },
  17. {
  18. "name": "sv_random",
  19. "returns": "u64",
  20. "vdso_specific": true,
  21. "vdso_only": true,
  22. "args": []
  23. },
  24. {
  25. "name": "sv_timer_new",
  26. "returns": "Handle",
  27. "args": []
  28. },
  29. {
  30. "name": "sv_timer_set",
  31. "returns": "()",
  32. "args": [
  33. {
  34. "name": "handle",
  35. "ty": "Handle"
  36. },
  37. {
  38. "name": "duration_us",
  39. "ty": "u64"
  40. }
  41. ]
  42. }
  43. ]
  44. }