// SPDX-FileCopyrightText: 2023 EfficiOS Inc.
//
// SPDX-License-Identifier: GPL-2.0-or-later

#include "urcu-asm.c"