Searched defs:wc_sec_hi (Results 1 – 3 of 3) sorted by relevance
| /arch/x86/kvm/ | ||
| D | xen.h | 128 uint32_t wc_sec_hi; member |
| D | x86.c | 2166 u32 wc_sec_hi; in kvm_write_wall_clock() local |
| /arch/x86/include/asm/xen/ | ||
| D | interface.h | 186 uint32_t wc_sec_hi; member |