Searched refs:__IPC_BUFFER_H (Results 1 - 2 of 2) sorted by relevance

/seL4-mcs-10.1.1/include/64/mode/api/
H A Dipc_buffer.h13 #ifndef __IPC_BUFFER_H
14 #define __IPC_BUFFER_H macro
31 #endif /* __IPC_BUFFER_H */
/seL4-mcs-10.1.1/include/32/mode/api/
H A Dipc_buffer.h13 #ifndef __IPC_BUFFER_H
14 #define __IPC_BUFFER_H macro
32 #endif /* __IPC_BUFFER_H */

Completed in 21 milliseconds