diff options
Diffstat (limited to 'native/src/sharedres.cpp')
| -rw-r--r-- | native/src/sharedres.cpp | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/native/src/sharedres.cpp b/native/src/sharedres.cpp index 00d7932..a91bfdf 100644 --- a/native/src/sharedres.cpp +++ b/native/src/sharedres.cpp | |||
| @@ -428,6 +428,8 @@ Interference np_fifo_per_resource( | |||
| 428 | &tsk); | 428 | &tsk); |
| 429 | } | 429 | } |
| 430 | 430 | ||
| 431 | #include "rw-blocking.h" | ||
| 432 | |||
| 431 | void merge_rw_requests(const TaskInfo &tsk, RWCounts &counts) | 433 | void merge_rw_requests(const TaskInfo &tsk, RWCounts &counts) |
| 432 | { | 434 | { |
| 433 | foreach(tsk.get_requests(), req) | 435 | foreach(tsk.get_requests(), req) |
