android-kvm / linux / d133ccbdc30c7f86459519cec1126d6473762b10 / include / asm-arm / semaphore-helper.h