diff options
| author | Glenn Elliott <gelliott@cs.unc.edu> | 2011-02-26 20:00:15 -0500 |
|---|---|---|
| committer | Glenn Elliott <gelliott@cs.unc.edu> | 2011-02-26 20:00:15 -0500 |
| commit | 0e6a634b0b02a86c9591c1bf8c73ff0cf68475fc (patch) | |
| tree | 7f550000c968e18235a14dc5243c00761befdf78 /include/litmus | |
| parent | 151977577ad96d8c614ddbd9df480c89cd98a1dc (diff) | |
Extract NVIDIA device number (GPU #) from NVIDIA tasklet data. Also
added support to fully thread all softirqs.
Diffstat (limited to 'include/litmus')
| -rw-r--r-- | include/litmus/nvidia_info.h | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/include/litmus/nvidia_info.h b/include/litmus/nvidia_info.h index f28d8f0a7f40..c5bf3dc0a210 100644 --- a/include/litmus/nvidia_info.h +++ b/include/litmus/nvidia_info.h | |||
| @@ -9,5 +9,8 @@ int is_nvidia_func(void *func); | |||
| 9 | 9 | ||
| 10 | int is_nvidia_in_callstack(void); | 10 | int is_nvidia_in_callstack(void); |
| 11 | 11 | ||
| 12 | // Returns the Nvidia device # associated with the | ||
| 13 | // provided tasklet. | ||
| 14 | u32 get_nv_device_num(const struct tasklet_struct *t); | ||
| 12 | 15 | ||
| 13 | #endif | 16 | #endif |