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.kuroc...@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? Jan