Searched refs:ext_vcpu_state (Results 1 – 2 of 2) sorted by relevance
| /l4re-core-master/l4sys/include/ |
| A D | thread.h | 494 l4_thread_vcpu_control_ext(l4_cap_idx_t thread, l4_addr_t ext_vcpu_state) L4_NOTHROW;
504 l4_thread_vcpu_control_ext_u(l4_cap_idx_t thread, l4_addr_t ext_vcpu_state,
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() argument
967 v->mr[1] = 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() argument
973 { return l4_thread_vcpu_control_ext_u(thread, ext_vcpu_state, l4_utcb()); } in l4_thread_vcpu_control_ext()
|
| A D | thread | 296 * \param ext_vcpu_state The virtual address where the kernel shall store
308 * if `ext_vcpu_state` is set to a valid kernel-user-memory address, or
309 * disables the vCPU feature if `ext_vcpu_state` is 0.
313 l4_msgtag_t vcpu_control_ext(l4_addr_t ext_vcpu_state,
315 { return l4_thread_vcpu_control_ext_u(cap(), ext_vcpu_state, utcb); }
|
Completed in 5 milliseconds