请用HAL库函数写一段STM32单片机用SPI接收PS2信息的程序

以下是使用HAL库函数写的STM32单片机用SPI接收PS2信息的程序：

#include "main.h"
#include "spi.h"

#define PS2_CMD_RESET 0xFF
#define PS2_CMD_ENABLE_DATA_REPORTING 0xF4

uint8_t ps2_data[3];

void PS2_Init(void)
{
    HAL_SPI_Init(&hspi1);
}

void PS2_Reset(void)
{
    HAL_SPI_Transmit(&hspi1, &PS2_CMD_RESET, 1, 1000);
}

void PS2_EnableDataReporting(void)
{
    HAL_SPI_Transmit(&hspi1, &PS2_CMD_ENABLE_DATA_REPORTING, 1, 1000);
}

void PS2_ReadData(void)
{
    uint8_t tx_data = 0x01;
    uint8_t rx_data[3];
    HAL_SPI_TransmitReceive(&hspi1, &tx_data, rx_data, 3, 1000);
    ps2_data[0] = rx_data[0];
    ps2_data[1] = rx_data[1];
    ps2_data[2] = rx_data[2];
}

int main(void)
{
    HAL_Init();
    SystemClock_Config();
    MX_GPIO_Init();
    MX_SPI1_Init();
    PS2_Init();
    PS2_Reset();
    PS2_EnableDataReporting();
    while (1)
    {
        PS2_ReadData();
        // 处理接收到的 PS2 数据
    }
}

注意：以上代码仅为示例，具体实现需要根据实际情况进行修改。