Lines Matching +full:reserved +full:- +full:memory
1 // SPDX-License-Identifier: GPL-2.0-only
18 #include "sbi-tests.h"
63 sbiret_report_error(&ret, SBI_ERR_DENIED, "get reserved feature 0x%lx", id); in fwft_check_reserved()
66 sbiret_report_error(&ret, SBI_ERR_DENIED, "set reserved feature 0x%lx", id); in fwft_check_reserved()
129 regs->epc += 4; in misaligned_handler()
198 ".option arch,-c\n" in fwft_check_misaligned_exc_deleg()
203 : "memory"); in fwft_check_misaligned_exc_deleg()
206 * Even though the SBI delegated the misaligned exception to S-mode, it might not trap on in fwft_check_misaligned_exc_deleg()
210 report_skip("Misaligned load exception does not trap in S-mode"); in fwft_check_misaligned_exc_deleg()
212 report_pass("Misaligned load exception trap in S-mode"); in fwft_check_misaligned_exc_deleg()
237 adue_set_ad(regs->badaddr, _PAGE_ACCESSED); in adue_read_handler()
243 adue_set_ad(regs->badaddr, _PAGE_ACCESSED | _PAGE_DIRTY); in adue_write_handler()