tod_high          845 drivers/s390/cio/css.c css_generate_pgid(struct channel_subsystem *css, u32 tod_high)
tod_high          859 drivers/s390/cio/css.c 	css->global_pgid.tod_high = tod_high;
tod_high           60 drivers/s390/cio/css.h 	__u32 tod_high;		/* high word TOD clock */