MySQL时间格式化函数是用来将时间戳或日期时间数据格式化为特定的字符串格式。在MySQL中，时间格式化函数并不会自动处理夏令时的变化，因为夏令时是由操作系统和时区配置来管理的。
如果您需要在MySQL中显示夏令时的时间格式化，您需要确保您的操作系统和MySQL配置了正确的时区信息，并且在使用时间格式化函数时考虑到了夏令时的变化。您可以使用CONVERT_TZ()函数来将时间从一个时区转换到另一个时区，以便正确地显示夏令时。
例如，如果您希望将一个时间戳从UTC时间转换为美国东部时间（包括夏令时），您可以使用以下语句：
SELECT CONVERT_TZ('2021-03-15 12:00:00', 'UTC', 'America/New_York');
这将把2021年3月15日12:00:00的UTC时间转换为美国东部时间，并自动处理夏令时的变化。请确保您已经在MySQL中正确配置了时区信息，并且选择了支持夏令时的时区。
