HomeSort by: relevance | last modified time | path
    Searched refs:vcpu_time_info (Results 1 - 3 of 3) sorted by relevancy

  /src/sys/external/mit/xen-include-public/dist/xen/include/public/
vcpu.h 218 * tsc. Usermode will see an array of vcpu_time_info structures, one
231 struct vcpu_time_info *v;
xen.h 626 struct vcpu_time_info { struct
656 typedef struct vcpu_time_info vcpu_time_info_t;
695 struct vcpu_time_info time;
  /src/sys/arch/xen/xen/
xen_clock.c 178 * from fields of a struct vcpu_time_info and call rdtsc.
193 * to the current CPU's vcpu_time_info structure. Caller must
196 static inline volatile struct vcpu_time_info *
199 volatile struct vcpu_time_info *vt = &curcpu()->ci_vcpu->time;
222 xen_vcputime_exit(volatile struct vcpu_time_info *vt,
274 volatile struct vcpu_time_info *vt;
310 * to have read the tsc _before_ writing to the vcpu_time_info
432 volatile struct vcpu_time_info *vt;
602 volatile struct vcpu_time_info *vt;

Completed in 14 milliseconds