89d0e68983
This patch replaces the error-prone manual locking with the use of the 'Synced_interface' for the motherboard and the VCPU dispatcher. It also removes all globally visible locks. Locks are now explicitly passed to subsystems when needed.
23 lines
523 B
C
23 lines
523 B
C
/*
|
|
* \brief Synchronized access to Vancouver motherboard
|
|
* \author Norman Feske
|
|
* \date 2013-05-16
|
|
*/
|
|
|
|
/*
|
|
* Copyright (C) 2013 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 _SYNCED_MOTHERBOARD_H_
|
|
#define _SYNCED_MOTHERBOARD_H_
|
|
|
|
#include <nul/motherboard.h>
|
|
#include <os/synced_interface.h>
|
|
|
|
typedef Genode::Synced_interface<Motherboard> Synced_motherboard;
|
|
|
|
#endif /* _SYNCED_MOTHERBOARD_H_ */
|