Redirecting to
../../sel4_microkit_base/struct.DeferredAction.html
...