diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2024-06-10 11:06:31 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2024-06-11 05:18:24 +0000 |
| commit | 2a003ea76245ebf8417137c75d95874a91d1a09f (patch) | |
| tree | 6b49c8e559f60b50cf48e7849124a5d2694606f7 /executor/nocover.h | |
| parent | 5f02070655b3c1f2ab50a82fd5f466aaeb7af44a (diff) | |
executor: factor out is_kernel_pc helper
Factor out is_kernel_pc helper and add kernel pc range for test OS for testing.
Diffstat (limited to 'executor/nocover.h')
| -rw-r--r-- | executor/nocover.h | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/executor/nocover.h b/executor/nocover.h index ba26dd1d5..b097e9f43 100644 --- a/executor/nocover.h +++ b/executor/nocover.h @@ -34,6 +34,11 @@ static bool is_kernel_data(uint64 addr) return false; } +static int is_kernel_pc(uint64 pc) +{ + return 0; +} + static bool use_cover_edges(uint64 pc) { return true; |