Searched refs:vcpu_time_info (Results 1 - 3 of 3) sorted by relevance

/netbsd-current/sys/external/mit/xen-include-public/dist/xen/include/public/
H A Dvcpu.h218 * tsc. Usermode will see an array of vcpu_time_info structures, one
231 struct vcpu_time_info *v;
H A Dxen.h626 struct vcpu_time_info { struct
656 typedef struct vcpu_time_info vcpu_time_info_t;
695 struct vcpu_time_info time;
/netbsd-current/sys/arch/xen/xen/
H A Dxen_clock.c193 * from fields of a struct vcpu_time_info and call xen_rdtsc.
207 * to the current CPU's vcpu_time_info structure. Caller must
210 static inline volatile struct vcpu_time_info *
213 volatile struct vcpu_time_info *vt = &curcpu()->ci_vcpu->time;
236 xen_vcputime_exit(volatile struct vcpu_time_info *vt,
288 volatile struct vcpu_time_info *vt;
324 * to have read the tsc _before_ writing to the vcpu_time_info
446 volatile struct vcpu_time_info *vt;
616 volatile struct vcpu_time_info *vt;

Completed in 125 milliseconds