Searched refs:time_offset_seconds (Results 1 – 2 of 2) sorted by relevance
337 vki_int32_t time_offset_seconds; member
949 PRE_XEN_DOMCTL_READ(settimeoffset, time_offset_seconds); in PRE()