Searched defs:msginfo (Results 1 - 2 of 2) sorted by relevance

/seL4-test-master/projects/musllibc/include/sys/
H A Dmsg.h31 struct msginfo { struct
/seL4-test-master/projects/seL4_libs/libsel4utils/src/irq_server/
H A Dirq_server.c279 void irq_server_handle_irq_ipc(irq_server_t *irq_server, seL4_MessageInfo_t msginfo) argument
377 seL4_MessageInfo_t msginfo = {0}; local

Completed in 41 milliseconds