l4/pkg/l4sys/include/ARCH-arm/vm

   1 // vi:ft=cpp
   2 /**
   3  * \file
   4  * \brief ARM virtualization interface
   5  */
   6 /*
   7  * (c) 2008-2009 Adam Lackorzynski <adam@os.inf.tu-dresden.de>,
   8  *               Alexander Warg <warg@os.inf.tu-dresden.de>,
   9  *               Torsten Frenzel <frenzel@os.inf.tu-dresden.de>
  10  *     economic rights: Technische Universität Dresden (Germany)
  11  *
  12  * This file is part of TUD:OS and distributed under the terms of the
  13  * GNU General Public License 2.
  14  * Please see the COPYING-GPL-2 file for details.
  15  *
  16  * As a special exception, you may use this file as part of a free software
  17  * library without restriction.  Specifically, if other files instantiate
  18  * templates or use macros or inline functions from this file, or you compile
  19  * this file and link it with other files to produce an executable, this
  20  * file does not by itself cause the resulting executable to be covered by
  21  * the GNU General Public License.  This exception does not however
  22  * invalidate any other reasons why the executable file might be covered by
  23  * the GNU General Public License.
  24  */
  25
  26 #pragma once
  27
  28 #include <l4/sys/capability>
  29 #include <l4/sys/vm.h>
  30
  31 namespace L4 {
  32
  33 /**
  34  * \brief TZ Virtual machine.
  35  * \ingroup l4_vm_tz_api
  36  */
  37 class Vm : public Kobject_t<Vm, Kobject, L4_PROTO_VM>
  38 {
  39 protected:
  40   Vm();
  41
  42 private:
  43   Vm(Vm const &);
  44   void operator = (Vm const &);
  45
  46 public:
  47   /**
  48    * \copydoc l4_vm_run()
  49    * \note \a dst_task is the implicit \a this pointer.
  50    */
  51    l4_msgtag_t run(l4_fpage_t const &fpage, l4_umword_t *label,
  52                    l4_utcb_t *utcb = l4_utcb()) throw()
  53    { return l4_vm_run_u(cap(), fpage, label, utcb); }
  54 };
  55
  56 };