Loading...
Searching...
No Matches
pager
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 Io_pager :
public Kobject_0t<Io_pager, L4_PROTO_IO_PAGE_FAULT>
{
public:
L4_INLINE_RPC(
l4_msgtag_t, io_page_fault, (l4_fpage_t io_pfa, l4_umword_t pc,
L4::Ipc::Rcv_fpage rwin,
L4::Ipc::Opt<L4::Ipc::Snd_fpage &> fp));
typedef L4::Typeid::Rpc_nocode<io_page_fault_t> Rpcs;
};
class L4_EXPORT Pager :
public Kobject_t<Pager, Io_pager, L4_PROTO_PAGE_FAULT>
{
public:
L4_INLINE_RPC(
l4_msgtag_t, page_fault, (l4_umword_t pfa, l4_umword_t pc,
L4::Ipc::Rcv_fpage rwin,
L4::Ipc::Opt<L4::Ipc::Snd_fpage &> fp));
typedef L4::Typeid::Rpc_nocode<page_fault_t> Rpcs;
};
}
capability
L4::Cap related definitions.
L4::Io_pager
Io_pager interface.
Definition pager:52
L4::Io_pager::io_page_fault
l4_msgtag_t io_page_fault(l4_fpage_t io_pfa, l4_umword_t pc, L4::Ipc::Rcv_fpage rwin, L4::Ipc::Opt< L4::Ipc::Snd_fpage & > fp)
IO page fault protocol message.
L4::Ipc::Rcv_fpage
Non-small receive item.
Definition ipc_types:545
L4::Kobject_t
Helper class to create an L4Re interface class that is derived from a single base class.
Definition __typeinfo.h:750
L4::Pager
Pager interface including the Io_pager interface.
Definition pager:89
L4::Pager::page_fault
l4_msgtag_t page_fault(l4_umword_t pfa, l4_umword_t pc, L4::Ipc::Rcv_fpage rwin, L4::Ipc::Opt< L4::Ipc::Snd_fpage & > fp)
Page-fault protocol message.
l4_umword_t
unsigned long l4_umword_t
Unsigned machine word.
Definition l4int.h:40
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::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
l4_fpage_t
L4 flexpage type.
Definition __l4_fpage.h:76