diff options
| author | Alex Waterman <alexw@nvidia.com> | 2018-03-09 17:04:22 -0500 |
|---|---|---|
| committer | mobile promotions <svcmobile_promotions@nvidia.com> | 2018-04-05 14:23:43 -0400 |
| commit | 893431ba01f20eb67be982327754b9acde31eaf4 (patch) | |
| tree | 2bacb6f498ae96d006ce0c616a35f3e4ad813726 /scripts/nvgpu_debug_hal.py | |
| parent | abd5f68eef7a1b26f95cc9dd07515b49e29219de (diff) | |
gpu: nvgpu: delete unnecessary Linux header includes
Probably left overs from a bygone era.
JIRA NVGPU-525
Change-Id: I3a83ccf1474e24b18312a600f786cb51ce634885
Signed-off-by: Alex Waterman <alexw@nvidia.com>
Reviewed-on: https://git-master.nvidia.com/r/1673822
Reviewed-by: mobile promotions <svcmobile_promotions@nvidia.com>
Tested-by: mobile promotions <svcmobile_promotions@nvidia.com>
Diffstat (limited to 'scripts/nvgpu_debug_hal.py')
0 files changed, 0 insertions, 0 deletions