kobject

// vi:set ft=cpp: -*- Mode: C++ -*-
/* \file
 * Kobject C++ interface.
 */
/*
 * Copyright (C) 2015-2017, 2019, 2021, 2023-2024 Kernkonzept GmbH.
 * Author(s): Alexander Warg <alexander.warg@kernkonzept.com>
 *
 * License: see LICENSE.spdx (in this directory or the directories above)
 */
#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); }
  l4_msgtag_t dec_refcnt(l4_mword_t diff, l4_utcb_t *utcb = l4_utcb()) {…}
};
class L4_EXPORT Kobject {…};
 
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> {};
 
}