mirror of
https://github.com/edk2-porting/linux-next.git
synced 2024-12-27 14:43:58 +08:00
9837559d8e
Many of the inc/dec ops are mandatory, but for most architectures inc/dec are simply trivial wrappers around their corresponding add/sub ops. Let's make all the inc/dec ops optional, so that we can get rid of these boilerplate wrappers. The instrumented atomics are updated accordingly. There should be no functional change as a result of this patch. Signed-off-by: Mark Rutland <mark.rutland@arm.com> Reviewed-by: Will Deacon <will.deacon@arm.com> Acked-by: Peter Zijlstra (Intel) <peterz@infradead.org> Acked-by: Palmer Dabbelt <palmer@sifive.com> Cc: Boqun Feng <boqun.feng@gmail.com> Cc: Linus Torvalds <torvalds@linux-foundation.org> Cc: Thomas Gleixner <tglx@linutronix.de> Link: https://lore.kernel.org/lkml/20180621121321.4761-17-mark.rutland@arm.com Signed-off-by: Ingo Molnar <mingo@kernel.org>
268 lines
6.1 KiB
C
268 lines
6.1 KiB
C
/* SPDX-License-Identifier: GPL-2.0 */
|
|
#ifndef _ASM_X86_ATOMIC_H
|
|
#define _ASM_X86_ATOMIC_H
|
|
|
|
#include <linux/compiler.h>
|
|
#include <linux/types.h>
|
|
#include <asm/alternative.h>
|
|
#include <asm/cmpxchg.h>
|
|
#include <asm/rmwcc.h>
|
|
#include <asm/barrier.h>
|
|
|
|
/*
|
|
* Atomic operations that C can't guarantee us. Useful for
|
|
* resource counting etc..
|
|
*/
|
|
|
|
#define ATOMIC_INIT(i) { (i) }
|
|
|
|
/**
|
|
* arch_atomic_read - read atomic variable
|
|
* @v: pointer of type atomic_t
|
|
*
|
|
* Atomically reads the value of @v.
|
|
*/
|
|
static __always_inline int arch_atomic_read(const atomic_t *v)
|
|
{
|
|
/*
|
|
* Note for KASAN: we deliberately don't use READ_ONCE_NOCHECK() here,
|
|
* it's non-inlined function that increases binary size and stack usage.
|
|
*/
|
|
return READ_ONCE((v)->counter);
|
|
}
|
|
|
|
/**
|
|
* arch_atomic_set - set atomic variable
|
|
* @v: pointer of type atomic_t
|
|
* @i: required value
|
|
*
|
|
* Atomically sets the value of @v to @i.
|
|
*/
|
|
static __always_inline void arch_atomic_set(atomic_t *v, int i)
|
|
{
|
|
WRITE_ONCE(v->counter, i);
|
|
}
|
|
|
|
/**
|
|
* arch_atomic_add - add integer to atomic variable
|
|
* @i: integer value to add
|
|
* @v: pointer of type atomic_t
|
|
*
|
|
* Atomically adds @i to @v.
|
|
*/
|
|
static __always_inline void arch_atomic_add(int i, atomic_t *v)
|
|
{
|
|
asm volatile(LOCK_PREFIX "addl %1,%0"
|
|
: "+m" (v->counter)
|
|
: "ir" (i));
|
|
}
|
|
|
|
/**
|
|
* arch_atomic_sub - subtract integer from atomic variable
|
|
* @i: integer value to subtract
|
|
* @v: pointer of type atomic_t
|
|
*
|
|
* Atomically subtracts @i from @v.
|
|
*/
|
|
static __always_inline void arch_atomic_sub(int i, atomic_t *v)
|
|
{
|
|
asm volatile(LOCK_PREFIX "subl %1,%0"
|
|
: "+m" (v->counter)
|
|
: "ir" (i));
|
|
}
|
|
|
|
/**
|
|
* arch_atomic_sub_and_test - subtract value from variable and test result
|
|
* @i: integer value to subtract
|
|
* @v: pointer of type atomic_t
|
|
*
|
|
* Atomically subtracts @i from @v and returns
|
|
* true if the result is zero, or false for all
|
|
* other cases.
|
|
*/
|
|
#define arch_atomic_sub_and_test arch_atomic_sub_and_test
|
|
static __always_inline bool arch_atomic_sub_and_test(int i, atomic_t *v)
|
|
{
|
|
GEN_BINARY_RMWcc(LOCK_PREFIX "subl", v->counter, "er", i, "%0", e);
|
|
}
|
|
|
|
/**
|
|
* arch_atomic_inc - increment atomic variable
|
|
* @v: pointer of type atomic_t
|
|
*
|
|
* Atomically increments @v by 1.
|
|
*/
|
|
#define arch_atomic_inc arch_atomic_inc
|
|
static __always_inline void arch_atomic_inc(atomic_t *v)
|
|
{
|
|
asm volatile(LOCK_PREFIX "incl %0"
|
|
: "+m" (v->counter));
|
|
}
|
|
|
|
/**
|
|
* arch_atomic_dec - decrement atomic variable
|
|
* @v: pointer of type atomic_t
|
|
*
|
|
* Atomically decrements @v by 1.
|
|
*/
|
|
#define arch_atomic_dec arch_atomic_dec
|
|
static __always_inline void arch_atomic_dec(atomic_t *v)
|
|
{
|
|
asm volatile(LOCK_PREFIX "decl %0"
|
|
: "+m" (v->counter));
|
|
}
|
|
|
|
/**
|
|
* arch_atomic_dec_and_test - decrement and test
|
|
* @v: pointer of type atomic_t
|
|
*
|
|
* Atomically decrements @v by 1 and
|
|
* returns true if the result is 0, or false for all other
|
|
* cases.
|
|
*/
|
|
#define arch_atomic_dec_and_test arch_atomic_dec_and_test
|
|
static __always_inline bool arch_atomic_dec_and_test(atomic_t *v)
|
|
{
|
|
GEN_UNARY_RMWcc(LOCK_PREFIX "decl", v->counter, "%0", e);
|
|
}
|
|
|
|
/**
|
|
* arch_atomic_inc_and_test - increment and test
|
|
* @v: pointer of type atomic_t
|
|
*
|
|
* Atomically increments @v by 1
|
|
* and returns true if the result is zero, or false for all
|
|
* other cases.
|
|
*/
|
|
#define arch_atomic_inc_and_test arch_atomic_inc_and_test
|
|
static __always_inline bool arch_atomic_inc_and_test(atomic_t *v)
|
|
{
|
|
GEN_UNARY_RMWcc(LOCK_PREFIX "incl", v->counter, "%0", e);
|
|
}
|
|
|
|
/**
|
|
* arch_atomic_add_negative - add and test if negative
|
|
* @i: integer value to add
|
|
* @v: pointer of type atomic_t
|
|
*
|
|
* Atomically adds @i to @v and returns true
|
|
* if the result is negative, or false when
|
|
* result is greater than or equal to zero.
|
|
*/
|
|
#define arch_atomic_add_negative arch_atomic_add_negative
|
|
static __always_inline bool arch_atomic_add_negative(int i, atomic_t *v)
|
|
{
|
|
GEN_BINARY_RMWcc(LOCK_PREFIX "addl", v->counter, "er", i, "%0", s);
|
|
}
|
|
|
|
/**
|
|
* arch_atomic_add_return - add integer and return
|
|
* @i: integer value to add
|
|
* @v: pointer of type atomic_t
|
|
*
|
|
* Atomically adds @i to @v and returns @i + @v
|
|
*/
|
|
static __always_inline int arch_atomic_add_return(int i, atomic_t *v)
|
|
{
|
|
return i + xadd(&v->counter, i);
|
|
}
|
|
|
|
/**
|
|
* arch_atomic_sub_return - subtract integer and return
|
|
* @v: pointer of type atomic_t
|
|
* @i: integer value to subtract
|
|
*
|
|
* Atomically subtracts @i from @v and returns @v - @i
|
|
*/
|
|
static __always_inline int arch_atomic_sub_return(int i, atomic_t *v)
|
|
{
|
|
return arch_atomic_add_return(-i, v);
|
|
}
|
|
|
|
static __always_inline int arch_atomic_fetch_add(int i, atomic_t *v)
|
|
{
|
|
return xadd(&v->counter, i);
|
|
}
|
|
|
|
static __always_inline int arch_atomic_fetch_sub(int i, atomic_t *v)
|
|
{
|
|
return xadd(&v->counter, -i);
|
|
}
|
|
|
|
static __always_inline int arch_atomic_cmpxchg(atomic_t *v, int old, int new)
|
|
{
|
|
return arch_cmpxchg(&v->counter, old, new);
|
|
}
|
|
|
|
#define arch_atomic_try_cmpxchg arch_atomic_try_cmpxchg
|
|
static __always_inline bool arch_atomic_try_cmpxchg(atomic_t *v, int *old, int new)
|
|
{
|
|
return try_cmpxchg(&v->counter, old, new);
|
|
}
|
|
|
|
static inline int arch_atomic_xchg(atomic_t *v, int new)
|
|
{
|
|
return xchg(&v->counter, new);
|
|
}
|
|
|
|
static inline void arch_atomic_and(int i, atomic_t *v)
|
|
{
|
|
asm volatile(LOCK_PREFIX "andl %1,%0"
|
|
: "+m" (v->counter)
|
|
: "ir" (i)
|
|
: "memory");
|
|
}
|
|
|
|
static inline int arch_atomic_fetch_and(int i, atomic_t *v)
|
|
{
|
|
int val = arch_atomic_read(v);
|
|
|
|
do { } while (!arch_atomic_try_cmpxchg(v, &val, val & i));
|
|
|
|
return val;
|
|
}
|
|
|
|
static inline void arch_atomic_or(int i, atomic_t *v)
|
|
{
|
|
asm volatile(LOCK_PREFIX "orl %1,%0"
|
|
: "+m" (v->counter)
|
|
: "ir" (i)
|
|
: "memory");
|
|
}
|
|
|
|
static inline int arch_atomic_fetch_or(int i, atomic_t *v)
|
|
{
|
|
int val = arch_atomic_read(v);
|
|
|
|
do { } while (!arch_atomic_try_cmpxchg(v, &val, val | i));
|
|
|
|
return val;
|
|
}
|
|
|
|
static inline void arch_atomic_xor(int i, atomic_t *v)
|
|
{
|
|
asm volatile(LOCK_PREFIX "xorl %1,%0"
|
|
: "+m" (v->counter)
|
|
: "ir" (i)
|
|
: "memory");
|
|
}
|
|
|
|
static inline int arch_atomic_fetch_xor(int i, atomic_t *v)
|
|
{
|
|
int val = arch_atomic_read(v);
|
|
|
|
do { } while (!arch_atomic_try_cmpxchg(v, &val, val ^ i));
|
|
|
|
return val;
|
|
}
|
|
|
|
#ifdef CONFIG_X86_32
|
|
# include <asm/atomic64_32.h>
|
|
#else
|
|
# include <asm/atomic64_64.h>
|
|
#endif
|
|
|
|
#include <asm-generic/atomic-instrumented.h>
|
|
|
|
#endif /* _ASM_X86_ATOMIC_H */
|