Searched defs:wc_sec_hi (Results 1 – 9 of 9) sorted by relevance
215 uint32_t wc_sec_hi; member
42 u32 *wc_sec_hi; in kvm_xen_shared_info_init() local
2319 u32 wc_sec_hi; in kvm_write_wall_clock() local
255 uint32_t wc_sec_hi; member
147 uint32_t wc_sec_hi; member
186 uint32_t wc_sec_hi; member
585 uint32_t wc_sec_hi; member
777 uint32_t wc_sec_hi; member
94 uint32_t wc_sec_hi; member