diff options
| author | Philippe Mathieu-Daudé <philmd@linaro.org> | 2023-09-14 20:57:13 +0200 |
|---|---|---|
| committer | Richard Henderson <richard.henderson@linaro.org> | 2023-10-04 11:03:54 -0700 |
| commit | 8c7907a1807b681b2ccf1ca339e7f841b2ecf877 (patch) | |
| tree | 6d7f399d8f3c625ab16d08b87835079481d58cbb /include | |
| parent | fe0007f3c1d7254ef738c36997ef7dbd4e5e36b3 (diff) | |
exec: Rename target specific page-vary.c -> page-vary-target.c
This matches the target agnostic 'page-vary-common.c' counterpart.
Signed-off-by: Philippe Mathieu-Daudé <philmd@linaro.org>
Reviewed-by: Anton Johansson <anjo@rev.ng>
Message-Id: <20230914185718.76241-8-philmd@linaro.org>
Signed-off-by: Richard Henderson <richard.henderson@linaro.org>
Diffstat (limited to 'include')
0 files changed, 0 insertions, 0 deletions