// SPDX-License-Identifier: GPL-2.0-only
/* vendor_hook.c
 *
 * Copyright 2022 Google LLC
 */

#ifndef __GENKSYMS__
#include "security.h"
#endif

#define CREATE_TRACE_POINTS
#include <trace/hooks/vendor_hooks.h>
#include <linux/tracepoint.h>
#include <trace/hooks/selinux.h>

EXPORT_TRACEPOINT_SYMBOL_GPL(android_vh_selinux_is_initialized);

/*
 * For type visibility
 */
struct selinux_state *GKI_struct_selinux_state;
EXPORT_SYMBOL_GPL(GKI_struct_selinux_state);