Loading...
Searching...
No Matches
exception
Go to the documentation of this file.
// vi:set ft=cpp: -*- Mode: C++ -*-
/*
* (c) 2014 Alexander Warg <alexander.warg@kernkonzept.com>
*
* License: see LICENSE.spdx (in this directory or the directories above)
*/
#pragma once
#include <l4/sys/capability>
#include <l4/sys/types.h>
#include <l4/sys/cxx/ipc_types>
#include <l4/sys/cxx/ipc_iface>
namespace L4 {
class L4_EXPORT Exception :
public Kobject_0t<Exception, L4_PROTO_EXCEPTION>
{
public:
// TODO: pass a reference/pointer to the UTCB not copy the regs
L4_INLINE_RPC(
l4_msgtag_t, exception, (L4::Ipc::In_out<l4_exc_regs_t *> regs,
L4::Ipc::Rcv_fpage rwin,
L4::Ipc::Opt<L4::Ipc::Snd_fpage &> fp));
typedef L4::Typeid::Rpc_nocode<exception_t> Rpcs;
};
}
capability
L4::Cap related definitions.
L4::Exception
Exception interface.
Definition exception:33
L4::Exception::exception
l4_msgtag_t exception(L4::Ipc::In_out< l4_exc_regs_t * > regs, L4::Ipc::Rcv_fpage rwin, L4::Ipc::Opt< L4::Ipc::Snd_fpage & > fp)
Exception call.
L4::Ipc::Rcv_fpage
Non-small receive item.
Definition ipc_types:545
L4_EXPORT
#define L4_EXPORT
Attribute to mark functions, variables, and data types as being exported from a library.
Definition compiler.h:214
ipc_iface
Interface Definition Language.
L4_INLINE_RPC
#define L4_INLINE_RPC(res, name, args, attr...)
Define an inline RPC call (type and callable).
Definition ipc_iface:482
ipc_types
types.h
Common L4 ABI Data Types.
L4
L4 low-level kernel interface.
Definition l4sys-l4f-groups.dox:50
L4::Ipc::In_out
Mark an argument as in-out argument.
Definition ipc_types:42
L4::Ipc::Opt
Attribute for defining an optional RPC argument.
Definition ipc_types:137
L4::Typeid::Rpc_nocode
List of RPCs of an interface using a single operation without an opcode.
Definition __typeinfo.h:454
l4_msgtag_t
Message tag data structure.
Definition types.h:154