mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-25 16:31:06 +00:00
f186587cab
Besides unifying the Msgbuf_base classes across all platforms, this patch merges the Ipc_marshaller functionality into Msgbuf_base, which leads to several further simplifications. For example, this patch eventually moves the Native_connection_state and removes all state from the former Ipc_server to the actual server loop, which not only makes the flow of control and information much more obvious, but is also more flexible. I.e., on NOVA, we don't even have the notion of reply-and-wait. Now, we are no longer forced to pretend otherwise. Issue #1832
44 lines
1.1 KiB
C++
44 lines
1.1 KiB
C++
/*
|
|
* \brief Kernel-specific thread meta data
|
|
* \author Norman Feske
|
|
* \date 2016-03-11
|
|
*
|
|
* On most platforms, the 'Genode::Native_thread' type is private to the base
|
|
* framework. However, on Fiasco.OC, we make the type publicly available to
|
|
* expose the low-level thread-specific capability selectors to L4Linux.
|
|
*/
|
|
|
|
/*
|
|
* Copyright (C) 2016 Genode Labs GmbH
|
|
*
|
|
* This file is part of the Genode OS framework, which is distributed
|
|
* under the terms of the GNU General Public License version 2.
|
|
*/
|
|
|
|
#ifndef _INCLUDE__FOC__NATIVE_THREAD_H_
|
|
#define _INCLUDE__FOC__NATIVE_THREAD_H_
|
|
|
|
/* Genode includes */
|
|
#include <base/stdint.h>
|
|
#include <foc/receive_window.h>
|
|
|
|
/* Fiasco.OC includes */
|
|
namespace Fiasco {
|
|
#include <l4/sys/types.h>
|
|
}
|
|
|
|
namespace Genode { struct Native_thread; }
|
|
|
|
struct Genode::Native_thread
|
|
{
|
|
Fiasco::l4_cap_idx_t kcap = 0;
|
|
|
|
/* receive window for capability selectors received at the server side */
|
|
Receive_window rcv_window;
|
|
|
|
Native_thread() { }
|
|
explicit Native_thread(Fiasco::l4_cap_idx_t kcap) : kcap(kcap) { }
|
|
};
|
|
|
|
#endif /* _INCLUDE__FOC__NATIVE_THREAD_H_ */
|