itas.h

/*
 * (c) 2026 Adam Lackorzynski <adam@l4re.org>
 *
 * License: see LICENSE.spdx (in this directory or the directories above)
 */
#pragma once
 
#include <l4/sys/compiler.h>
#include <l4/re/env.h>
 
L4_BEGIN_DECLS

L4_CV int
l4re_itas_disable_pf_tramp_srv(l4_cap_idx_t rm) L4_NOTHROW;
 
L4_CV L4_INLINE int
l4re_itas_disable_pf_tramp(void) L4_NOTHROW
{
  return l4re_itas_disable_pf_tramp_srv(l4re_global_env->itas);
}
 
L4_END_DECLS