this repo has no description
1
fork

Configure Feed

Select the types of activity you want to include in your feed.

[kernel/libsyscall] Add work_interval_instance Stubs

Thomas A ad4e9aef f6877678

+40
+40
src/kernel/libsyscall/wrappers/work_interval.c
··· 272 272 273 273 return 0; 274 274 } 275 + 276 + work_interval_instance_t work_interval_instance_alloc(work_interval_t wi) { 277 + puts("STUB: work_interval_instance_alloc called"); 278 + return (work_interval_instance_t)0; 279 + } 280 + 281 + void work_interval_instance_clear(work_interval_instance_t wii) { 282 + puts("STUB: work_interval_instance_clear called"); 283 + } 284 + 285 + int work_interval_instance_finish(work_interval_instance_t wii) { 286 + puts("STUB: work_interval_instance_finish called"); 287 + return 0; 288 + } 289 + 290 + void work_interval_instance_free(work_interval_instance_t wii) { 291 + puts("STUB: work_interval_instance_free called"); 292 + } 293 + 294 + void work_interval_instance_set_deadline(work_interval_instance_t wii, uint64_t deadline) { 295 + puts("STUB: work_interval_instance_set_deadline called"); 296 + } 297 + 298 + void work_interval_instance_set_finish(work_interval_instance_t wii, uint64_t current_finish) { 299 + puts("STUB: work_interval_instance_set_finish called"); 300 + } 301 + 302 + void work_interval_instance_set_start(work_interval_instance_t wii, uint64_t start) { 303 + puts("STUB: work_interval_instance_set_start called"); 304 + } 305 + 306 + int work_interval_instance_start(work_interval_instance_t wii) { 307 + puts("STUB: work_interval_instance_start called"); 308 + return 0; 309 + } 310 + 311 + int work_interval_instance_update(work_interval_instance_t wii) { 312 + puts("STUB: work_interval_instance_update called"); 313 + return 0; 314 + }