L4Re - L4 Runtime Environment
exception
1 // vi:set ft=cpp: -*- Mode: C++ -*-
2 /*
3  * (c) 2014 Alexander Warg <alexander.warg@kernkonzept.com>
4  *
5  * This file is part of TUD:OS and distributed under the terms of the
6  * GNU General Public License 2.
7  * Please see the COPYING-GPL-2 file for details.
8  *
9  * As a special exception, you may use this file as part of a free software
10  * library without restriction. Specifically, if other files instantiate
11  * templates or use macros or inline functions from this file, or you compile
12  * this file and link it with other files to produce an executable, this
13  * file does not by itself cause the resulting executable to be covered by
14  * the GNU General Public License. This exception does not however
15  * invalidate any other reasons why the executable file might be covered by
16  * the GNU General Public License.
17  */
18 
19 #pragma once
20 
21 #include <l4/sys/capability>
22 #include <l4/sys/types.h>
23 #include <l4/sys/cxx/ipc_types>
24 #include <l4/sys/cxx/ipc_iface>
25 
26 namespace L4 {
27 
28 class L4_EXPORT Exception :
29  public Kobject_0t<Exception, L4_PROTO_EXCEPTION>
30 {
31 public:
32  // TODO: pass a reference/pointer to the UTCB not copy the regs
33  L4_INLINE_RPC(
34  l4_msgtag_t, exception, (L4::Ipc::In_out<l4_exc_regs_t *> regs,
35  L4::Ipc::Rcv_fpage rwin,
36  L4::Ipc::Opt<L4::Ipc::Snd_fpage &> fp));
37 
38  typedef L4::Typeid::Rpc_nocode<exception_t> Rpcs;
39 };
40 
41 }