Searched defs:ext_vcpu_state (Results 1 – 1 of 1) sorted by relevance

/l4re-core-master/l4sys/include/
A D	thread.h	962 l4_thread_vcpu_control_ext_u(l4_cap_idx_t thread, l4_addr_t ext_vcpu_state, in l4_thread_vcpu_control_ext_u() 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()

Completed in 5 milliseconds

Last Index update Sun Aug 20 00:18:20 CST 2023