Redirecting to
../../sel4/struct.IpcBuffer.html
...