1234567891011121314151617181920212223242526272829303132333435363738394041424344 |
- {
- "types": [
- "Timer"
- ],
- "funcs": [
- {
- "name": "sv_time_get",
- "returns": "()",
- "vdso_specific": true,
- "args": [
- {
- "name": "ptr",
- "ty": "*mut ()"
- }
- ]
- },
- {
- "name": "sv_random",
- "returns": "u64",
- "vdso_specific": true,
- "vdso_only": true,
- "args": []
- },
- {
- "name": "sv_timer_new",
- "returns": "Handle",
- "args": []
- },
- {
- "name": "sv_timer_set",
- "returns": "()",
- "args": [
- {
- "name": "handle",
- "ty": "Handle"
- },
- {
- "name": "duration_us",
- "ty": "u64"
- }
- ]
- }
- ]
- }
|