summary |
shortlog |
log |
commit | commitdiff |
tree
raw |
patch |
inline | side by side (from parent 1:
d8d9a34)
Expose this configuration define in the installed header.
Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@efficios.com>
/* clock_gettime() is detected. */
#undef CONFIG_RCU_HAVE_CLOCK_GETTIME
/* clock_gettime() is detected. */
#undef CONFIG_RCU_HAVE_CLOCK_GETTIME
+
+/* Require the operating system to support the membarrier system call for
+ default and bulletproof flavors. */
+#undef CONFIG_RCU_FORCE_SYS_MEMBARRIER