Deprecated List

Struct L4::Irq_mux

IRQ muxer objects are no longer supported by the kernel.

Global L4_CAP_SIZE

Superseded by L4_CAP_OFFSET.

Global l4_irq_mux_chain (l4_cap_idx_t irq, l4_cap_idx_t slave) L4_NOTHROW

IRQ muxer objects are no longer supported by the kernel.

Global l4_kip_clock_lw (l4_kernel_info_t const *kip) L4_NOTHROW

Use l4_kip_clock() instead.

Global L4_SYSF_NONE

Default flags (call to a kernel object).

Using this value as flags in the capability selector for an invocation indicates a call (send and wait for a reply).

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