Searched refs:l4_thread_vcpu_control_ext (Results 1 – 1 of 1) sorted by relevance
494 l4_thread_vcpu_control_ext(l4_cap_idx_t thread, l4_addr_t ext_vcpu_state) L4_NOTHROW;972 l4_thread_vcpu_control_ext(l4_cap_idx_t thread, l4_addr_t ext_vcpu_state) L4_NOTHROW in l4_thread_vcpu_control_ext() function
Completed in 4 milliseconds