kobject

// vi:set ft=cpp: -*- Mode: C++ -*-
/* \file
 * Kobject C++ interface.
 */
/*
 * Copyright (C) 2015-2017, 2019, 2021 Kernkonzept GmbH.
 * Author(s): Alexander Warg <alexander.warg@kernkonzept.com>
 *
 * This file is distributed under the terms of the GNU General Public
 * License, version 2.  Please see the COPYING-GPL-2 file for details.
 *
 * As a special exception, you may use this file as part of a free software
 * library without restriction.  Specifically, if other files instantiate
 * templates or use macros or inline functions from this file, or you compile
 * this file and link it with other files to produce an executable, this
 * file does not by itself cause the resulting executable to be covered by
 * the GNU General Public License.  This exception does not however
 * invalidate any other reasons why the executable file might be covered by
 * the GNU General Public License.
 */
#pragma once
 
#include "kernel_object.h"
#include "types.h"
#include "__typeinfo.h"
 
namespace L4 {
 
class L4_EXPORT Kobject
{
private:
  Kobject();
  Kobject(Kobject const  &);
  Kobject &operator = (Kobject const &);
 
  template<typename T> friend struct Kobject_typeid;
 
protected:
  typedef Typeid::Iface<L4_PROTO_META, Kobject> __Iface;
  typedef Typeid::Iface_list<__Iface> __Iface_list;
 
  struct __Kobject_typeid
  {
    typedef Type_info::Demand_t<> Demand;
    static Type_info const _m;
  };
 
  l4_cap_idx_t cap() const noexcept { return _c(); }
 
private:
 
  l4_cap_idx_t _c() const noexcept
  { return reinterpret_cast<l4_cap_idx_t>(this) & L4_CAP_MASK; }
 
public:
  l4_msgtag_t dec_refcnt(l4_mword_t diff, l4_utcb_t *utcb = l4_utcb())
  { return l4_kobject_dec_refcnt_u(cap(), diff, utcb); }
};
 
template<typename Derived, long PROTO = L4::PROTO_ANY,
         typename S_DEMAND = Type_info::Demand_t<> >
struct Kobject_0t : Kobject_t<Derived, L4::Kobject, PROTO, S_DEMAND> {};
 
}