Home
last modified time | relevance | path

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

/l4re-core-master/l4sys/include/
A D__vm-vmx.h529 l4_vm_vmx_get_caps(void const *vcpu_state, unsigned cap_msr) L4_NOTHROW in l4_vm_vmx_get_caps()
537 l4_vm_vmx_get_caps_default1(void const *vcpu_state, unsigned cap_msr) L4_NOTHROW in l4_vm_vmx_get_caps_default1()
A Dthread.h947 l4_thread_vcpu_control_u(l4_cap_idx_t thread, l4_addr_t vcpu_state, in l4_thread_vcpu_control_u()
957 l4_thread_vcpu_control(l4_cap_idx_t thread, l4_addr_t vcpu_state) L4_NOTHROW in l4_thread_vcpu_control()

Completed in 6 milliseconds