1/* SPDX-License-Identifier: BSD-2-Clause */
2/*
3 * Copyright (c) 2015-2016, Linaro Limited
4 */
5
6#include <asm.S>
7
8/* uint32_t atomic_inc32(uint32_t *v); */
9FUNC atomic_inc32 , :
10	ldrex	r1, [r0]
11	add	r1, r1, #1
12	strex	r2, r1, [r0]
13	cmp	r2, #0
14	bne	atomic_inc32
15	mov	r0, r1
16	bx	lr
17END_FUNC atomic_inc32
18
19/* uint32_t atomic_dec32(uint32_t *v); */
20FUNC atomic_dec32 , :
21	ldrex	r1, [r0]
22	sub	r1, r1, #1
23	strex	r2, r1, [r0]
24	cmp	r2, #0
25	bne	atomic_dec32
26	mov	r0, r1
27	bx	lr
28END_FUNC atomic_dec32
29