Searched refs:l4_vcpu_ipc_regs_t (Results 1 – 8 of 8) sorted by relevance
48 typedef struct l4_vcpu_ipc_regs_t struct55 } l4_vcpu_ipc_regs_t; argument
58 typedef struct l4_vcpu_ipc_regs_t struct64 } l4_vcpu_ipc_regs_t; typedef
52 typedef struct l4_vcpu_ipc_regs_t struct57 } l4_vcpu_ipc_regs_t; argument
70 typedef struct l4_vcpu_ipc_regs_t struct76 } l4_vcpu_ipc_regs_t; argument
63 typedef struct l4_vcpu_ipc_regs_t struct69 } l4_vcpu_ipc_regs_t; argument
88 typedef struct l4_vcpu_ipc_regs_t struct94 } l4_vcpu_ipc_regs_t; argument
69 l4_vcpu_ipc_regs_t i; ///< IPC state
Completed in 11 milliseconds