Global L4::Rcv_endpoint::bind_thread (Ipc::Cap< Thread > t, l4_umword_t label): Use bind_snd_destination() instead.
Global L4_CAP_SIZE: Superseded by L4_CAP_OFFSET.
Global l4_kip_clock_lw (l4_kernel_info_t const *kip) L4_NOTHROW: Use l4_kip_clock() instead.
Global L4Re::Dma_space::Direction: Ignored by the API. Use function overloads without the direction parameter instead.
Global L4Re::Dma_space::map (L4::Ipc::Cap< L4Re::Dataspace > src, L4Re::Dataspace::Offset offset, l4_size_t *size, Attributes attrs, Direction dir, Dma_addr *dma_addr): Use the other overload without dir parameter.
Global L4Re::Dma_space::unmap (Dma_addr dma_addr, Dma_size size, Attributes attrs, Direction dir): Use the overload without attrs and dir because they are ignored.
Global L4Re::Util::Registry_server< LOOP_HOOKS >::Registry_server (l4_utcb_t *, L4::Cap< L4::Thread > server, L4::Cap< L4::Factory > factory): Note that this variant of the constructor is deprecated, please do not supply the UTCB pointer, it's not used.
Global l4util_kip_for_each_feature (s): Use l4_kip_for_each_feature().
Global l4util_kip_kernel_has_feature (l4_kernel_info_t const *k, char const *str): Use l4_kip_kernel_has_feature().
Global l4util_micros2l4to (l4_uint64_t us) L4_NOTHROW: Use l4_timeout_from_us().
Global start_virtio_switch ( ports, prio, cpus, switch_type, ext_caps): This function exists for backwards compatiblity reasons and calls start_virtio_switch_tbl with an appropriate options table