Searched refs:guest_ns (Results 1 – 1 of 1) sorted by relevance
42 int64_t guest_ns; in spapr_rtc_read() local47 guest_ns = host_ns + rtc->ns_offset; in spapr_rtc_read()48 guest_s = guest_ns / NANOSECONDS_PER_SECOND; in spapr_rtc_read()54 *ns = guest_ns; in spapr_rtc_read()