Deprecated List

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