#include <linux/kernel.h>

int foo(void) {
  return kernel_is_locked_down("something");
}