unsafe_atomic_store_release_user
#ifndef unsafe_atomic_store_release_user
unsafe_atomic_store_release_user(0, uaddr, efault);