Commit | Line | Data |
---|---|---|
34e49164 C |
1 | // the case where the third argument is something else (with a type) (delayed) |
2 | // pointer type | |
3 | @ is_delayed @ | |
4 | type local_type; | |
5 | local_type *device; | |
6 | expression E; | |
7 | identifier fld; | |
8 | @@ | |
9 | ||
10 | schedule_delayed_work(&device->fld,E) | |
11 | ||
12 | @ rule2 @ | |
13 | is_delayed.local_type *device; | |
14 | identifier is_delayed.fld; | |
15 | @@ | |
16 | ||
17 | - schedule_work(&device->fld) | |
708f4980 | 18 | + schedule_delayed_work(&device->fld, 0) |