引用HAL规范说明