diff options
Diffstat (limited to 'tools/guest-diag/pin_miss_pages.sh')
| -rwxr-xr-x | tools/guest-diag/pin_miss_pages.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/tools/guest-diag/pin_miss_pages.sh b/tools/guest-diag/pin_miss_pages.sh index fd7722a..34786ac 100755 --- a/tools/guest-diag/pin_miss_pages.sh +++ b/tools/guest-diag/pin_miss_pages.sh @@ -1,4 +1,6 @@ #!/bin/bash +# SPDX-License-Identifier: BSD-3-Clause +# Copyright (c) 2026 Open-IOV contributors # pin_miss_pages.sh - adaptive tracker-sem pinner. # # Watches the host journal for "release miss va=0x..." lines, resolves those |