diff options
| author | Clément Léger <cleger@rivosinc.com> | 2024-06-24 12:29:08 +0200 |
|---|---|---|
| committer | Anup Patel <anup@brainfault.org> | 2024-06-26 18:13:54 +0530 |
| commit | e8717d126401435896b0e96c18e187f0b2431d5e (patch) | |
| tree | 4ed9906fc450a96bc58dde690166a2e1434a27aa /scripts/Kconfiglib/setconfig.py | |
| parent | ecef14d5732f837cbfa4a8cefa8fed7953e7abfb (diff) | |
| download | opensbi-e8717d126401435896b0e96c18e187f0b2431d5e.zip opensbi-e8717d126401435896b0e96c18e187f0b2431d5e.tar.gz opensbi-e8717d126401435896b0e96c18e187f0b2431d5e.tar.bz2 | |
lib: sbi: fwft: check feature value to be exactly 1 or 0
As stated by the spec and pointed out by Andrew Jones, the value passed
for MISALIGNED_EXC_DELEG and PTE_AD_HW_UPDATING should be either 0 or 1.
Add check for these values and return SBI_EINVAL if not.
Signed-off-by: Clément Léger <cleger@rivosinc.com>
Reviewed-by: Andrew Jones <ajones@ventanamicro.com>
Reviewed-by: Anup Patel <anup@brainfault.org>
Diffstat (limited to 'scripts/Kconfiglib/setconfig.py')
0 files changed, 0 insertions, 0 deletions