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::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().