/* Return the address of the two dwords in memory used for time setting.  */
static u32* sep_time_address(struct sep_device *sep)
/* Return the address of the two dwords in memory used for time setting.  */
static u32* sep_time_address(struct sep_device *sep)
{
	return sep->shared_addr + SEP_DRIVER_SYSTEM_TIME_MEMORY_OFFSET_IN_BYTES;
}