Loading...
Searching...
No Matches
debug
Go to the documentation of this file.
// vi:set ft=cpp: -*- Mode: C++ -*-
/*
* (c) 2008-2009 Adam Lackorzynski <adam@os.inf.tu-dresden.de>,
* Alexander Warg <warg@os.inf.tu-dresden.de>
* economic rights: Technische Universität Dresden (Germany)
*
* License: see LICENSE.spdx (in this directory or the directories above)
*/
#pragma once
#include <l4/sys/capability>
#include <l4/re/protocols.h>
#include <l4/sys/cxx/ipc_iface>
namespace L4Re {
class L4_EXPORT Debug_obj :
public L4::Kobject_t<Debug_obj, L4::Kobject, L4RE_PROTO_DEBUG>
{
public:
L4_INLINE_RPC(long, debug, (unsigned long function));
typedef L4::Typeid::Rpc_nocode<debug_t> Rpcs;
};
template<typename BASE>
class Debug_obj_t :
public L4::Kobject_2t<Debug_obj_t<BASE>, BASE, Debug_obj, L4::PROTO_EMPTY>
{
typedef L4::Typeid::Rpcs<> Rpcs;
};
}
capability
L4::Cap related definitions.
L4Re::Debug_obj
Debug interface.
Definition debug:42
L4Re::Debug_obj::debug
long debug(unsigned long function)
Debug call.
L4::Kobject_2t
Helper class to create an L4Re interface class that is derived from two base classes (see L4::Kobject...
Definition __typeinfo.h:828
L4::Kobject_t
Helper class to create an L4Re interface class that is derived from a single base class.
Definition __typeinfo.h:750
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
L4Re
L4Re C++ Interfaces.
Definition cmd_control:14
protocols.h
L4Re Protocol Constants (C version).
L4::Typeid::Rpc_nocode
List of RPCs of an interface using a single operation without an opcode.
Definition __typeinfo.h:454
L4::Typeid::Rpcs
Standard list of RPCs of an interface.
Definition __typeinfo.h:428