sel4_kit::ipc_buffer

Function init_ipc_buffer

Source 
pub fn init_ipc_buffer()
Expand description

初始化 ipc_buffer