/*
- * Copyright (C) 2011 David Goulet <david.goulet@polymtl.ca>
+ * Copyright (C) 2011 EfficiOS Inc.
* Copyright (C) 2011 Mathieu Desnoyers <mathieu.desnoyers@efficios.com>
*
* SPDX-License-Identifier: GPL-2.0-only
#include <urcu.h>
#include <urcu/futex.h>
-#include <common/common.h>
+#include <common/common.hpp>
-#include "futex.h"
+#include "futex.hpp"
/*
* This futex wait/wake scheme only works for N wakers / 1 waiters. Hence the