diff options
author | Keqian Zhu <[email protected]> | 2020-08-17 19:07:27 +0800 |
---|---|---|
committer | Marc Zyngier <[email protected]> | 2020-12-03 19:01:01 +0000 |
commit | 94558543213ae8c83be5d01b83c1fe7530e8a1a0 (patch) | |
tree | 6c4291554969ace379739f71fc3f4e295f6acb7b /scripts/gdb/linux/utils.py | |
parent | 57e3cebd022fbc035dcf190ac789fd2ffc747f5b (diff) |
KVM: arm64: Some fixes of PV-time interface document
Rename PV_FEATURES to PV_TIME_FEATURES.
Signed-off-by: Keqian Zhu <[email protected]>
Signed-off-by: Marc Zyngier <[email protected]>
Reviewed-by: Andrew Jones <[email protected]>
Reviewed-by: Steven Price <[email protected]>
Link: https://lore.kernel.org/r/[email protected]
Diffstat (limited to 'scripts/gdb/linux/utils.py')
0 files changed, 0 insertions, 0 deletions