Searched refs:l4_vcpu_arch_state_t (Results 1 – 8 of 8) sorted by relevance
36 typedef struct l4_vcpu_arch_state_t struct39 } l4_vcpu_arch_state_t; typedef
52 typedef struct l4_vcpu_arch_state_t {} l4_vcpu_arch_state_t; typedef
42 typedef struct l4_vcpu_arch_state_t struct46 } l4_vcpu_arch_state_t; argument
64 typedef struct l4_vcpu_arch_state_t {} l4_vcpu_arch_state_t; typedef
54 typedef struct l4_vcpu_arch_state_t struct57 } l4_vcpu_arch_state_t; typedef
34 typedef struct l4_vcpu_arch_state_t struct43 } l4_vcpu_arch_state_t; argument
81 l4_vcpu_arch_state_t arch_state;
Completed in 24 milliseconds