/* SPDX-License-Identifier: GPL-2.0 */
#ifndef _ASM_MICROBLAZE_CMPXCHG_H
#define _ASM_MICROBLAZE_CMPXCHG_H

#ifndef CONFIG_SMP
# include <asm-generic/cmpxchg.h>
#endif

#endif /* _ASM_MICROBLAZE_CMPXCHG_H */