__xchg_llsc_asm
return __xchg_llsc_asm("ll.d", "sc.d", (volatile u64 *)ptr, (u64)x);
return __xchg_llsc_asm("ll.w", "sc.w", (volatile u32 *)ptr, (u32)x);