1/* SPDX-License-Identifier: GPL-2.0-only or License-Ref-kk-custom */
2/*
3 * Copyright (C) 2010 Technische Universität Dresden.
4 */
5
6.globl l4_atomic_add
7l4_atomic_add:
8	ta 0x0815
9
10.globl l4_atomic_cmpxchg
11l4_atomic_cmpxchg:
12	ta 0x0815
13