On 20.02.2025 18:44, Oleksii Kurochko wrote:

According to riscv/booting.txt, it is expected that Zbb should be supported.

Signed-off-by: Oleksii Kurochko <oleksii.kurochko@gmail.com>
---
Changes in v7:
 - new patch.
---
 xen/arch/riscv/arch.mk | 7 ++-----
 1 file changed, 2 insertions(+), 5 deletions(-)

Please can you also tidy asm/cmpxchg.h of ANDN_INSN() then?

Sure, I can leave only:
/*
 * To not face an issue that gas doesn't understand ANDN instruction
 * it is encoded using .insn directive.
 */
#define ANDN_INSN(rd, rs1, rs2)                 \
    ".insn r OP, 0x7, 0x20, " rd ", " rs1 ", " rs2 "\n"

~ Oleksii