请用端口输出数据寄存器（odr)，编写控制GPIOD口的PC3~PC5和PC8~PC11输出高电平的语句

在STM32微控制器中，GPIO口的数据输出寄存器通常被称为`GPIO_OUT`或`GPIO_ODR`，用于设置GPIO的输出状态。对于GPIOD，如果你想要让PC3到PC5以及PC8到PC11这四个管脚输出高电平，你需要先确保这些管脚已配置为推挽输出模式（Output Drive Enable, ODR），然后通过相应的位操作来设置寄存器。

假设我们已经在初始化阶段设置了GPIOD的PC3~PC11为推挽输出，并且已经打开了中断允许等必要设置，那么可以使用类似下面的C语言代码：

// 首先定义需要的头文件
#include "stm32f1xx_hal.h"

// 然后假设GPIOD的ODR寄存器地址是GPIOD->ODR
GPIO_TypeDef *GPIOD = GPIOA; // 这里替换实际的GPIO实例

// 设置GPIOD的PC3、PC4、PC5和PC8~PC11为高电平
GPIO_PinBitsTypeDef GPIO_Pin[] = {GPIO_PIN_3, GPIO_PIN_4, GPIO_PIN_5, GPIO_PIN_8, GPIO_PIN_9, GPIO_PIN_10, GPIO_PIN_11};
GPIO_SET_BIT(GPIOD->ODR, GPIO_Pin[0]);   // PC3
GPIO_SET_BIT(GPIOD->ODR, GPIO_Pin[1]);   // PC4
GPIO_SET_BIT(GPIOD->ODR, GPIO_Pin[2]);   // PC5
GPIO_SET_BIT(GPIOD->ODR, GPIO_Pin[3]);   // PC8
GPIO_SET_BIT(GPIOD->ODR, GPIO_Pin[4]);   // PC9
GPIO_SET_BIT(GPIOD->ODR, GPIO_Pin[5]);   // PC10
GPIO_SET_BIT(GPIOD->ODR, GPIO_Pin[6]);  // PC11