Redirecting to
../../sel4/fn.set_ipc_buffer.html
...