// vi:set ft=cpp: -*- Mode: C++ -*-
/*
 * Copyright (C) 2023 Kernkonzept GmbH.
 * Author(s): Jan Klötzke <jan.kloetzke@kernkonzept.com>
 *
 * License: see LICENSE.spdx (in this directory or the directories above)
 */
#pragma once

#include <l4/sys/types.h>
#include <l4/sys/thread.h>

namespace Ldr {

enum : l4_umword_t { Default_ex_regs_flags = L4_THREAD_EX_REGS_ARM_SET_EL_EL0 };

inline
bool validate_ex_regs_flags(l4_umword_t flags)
{
  return (flags & ~(l4_umword_t)L4_THREAD_EX_REGS_ARM_SET_EL_MASK) == 0;
}

}
