Redirecting to
../../sel4_microkit_base/struct.MessageInfo.html
...