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

/netbsd-current/sys/arch/xen/x86/
H A Dcpu.c1087 uint32_t vcpu_tversion; local
1090 vcpu_tversion = tinfo->version;
1091 while (tinfo->version == vcpu_tversion); /* Wait for a time update. XXX: timeout ? */

Completed in 70 milliseconds