Searched refs:tod_high (Results 1 – 3 of 3) sorted by relevance
542 __u32 tod_high; /* high word TOD clock */ member
543 __u32 tod_high; /* high word TOD clock */ member
1282 global_pgid->tod_high = *(__u32 *) & irq_IPL_TOD; in s390_init_IRQ()