3316 void HAL_TSP_SecBuf_SetBuf(REG_SecBuf *pSecBuf, MS_U32 u32StartAddr, MS_U32 u32BufSize)  in HAL_TSP_SecBuf_SetBuf()  argument
3326     owner = TSP32_IdrR(&pSecBuf->Start); // @FIXME local variable but not used?  in HAL_TSP_SecBuf_SetBuf()
3328     TSP32_IdrW(&pSecBuf->Start, phyMiuOffsetSecBuf);  in HAL_TSP_SecBuf_SetBuf()
3329     TSP32_IdrW(&pSecBuf->End, phyMiuOffsetSecBuf + u32BufSize);  in HAL_TSP_SecBuf_SetBuf()
3333 void HAL_TSP_SecBuf_SetRead(REG_SecBuf *pSecBuf, MS_U32 u32ReadAddr)  in HAL_TSP_SecBuf_SetRead()  argument
3335     TSP32_IdrW(&pSecBuf->Read, u32ReadAddr);  in HAL_TSP_SecBuf_SetRead()
3339 MS_U32 HAL_TSP_SecBuf_GetStart(REG_SecBuf *pSecBuf)  in HAL_TSP_SecBuf_GetStart()  argument
3341     return TSP32_IdrR(&pSecBuf->Start);  in HAL_TSP_SecBuf_GetStart()
3345 MS_U32 HAL_TSP_SecBuf_GetEnd(REG_SecBuf *pSecBuf)  in HAL_TSP_SecBuf_GetEnd()  argument
3347     return TSP32_IdrR(&pSecBuf->End);  in HAL_TSP_SecBuf_GetEnd()
3351 MS_U32 HAL_TSP_SecBuf_GetBufCur(REG_SecBuf *pSecBuf)  in HAL_TSP_SecBuf_GetBufCur()  argument
3358     return TSP32_IdrR(&pSecBuf->Cur);  in HAL_TSP_SecBuf_GetBufCur()
3362 void HAL_TSP_SecBuf_Reset(REG_SecBuf *pSecBuf)  in HAL_TSP_SecBuf_Reset()  argument
3366     start = TSP32_IdrR(&pSecBuf->Start);  in HAL_TSP_SecBuf_Reset()
3368     TSP32_IdrW(&pSecBuf->Cur,    start);  in HAL_TSP_SecBuf_Reset()
3369     TSP32_IdrW(&pSecBuf->Read,   start);  in HAL_TSP_SecBuf_Reset()
3370     TSP32_IdrW(&pSecBuf->Write,  start);  in HAL_TSP_SecBuf_Reset()
3372     start = ( (MS_VIRT)pSecBuf - (MS_VIRT)REG_SECBUF_BASE ) / sizeof(REG_SecBuf)  ;  in HAL_TSP_SecBuf_Reset()
3377 MS_U32  HAL_TSP_SecBuf_GetRead(REG_SecBuf *pSecBuf)  in HAL_TSP_SecBuf_GetRead()  argument
3379     return TSP32_IdrR((TSP32*)&pSecBuf->Read);  in HAL_TSP_SecBuf_GetRead()
3383 MS_U32  HAL_TSP_SecBuf_GetWrite(REG_SecBuf *pSecBuf)  in HAL_TSP_SecBuf_GetWrite()  argument
3385     return TSP32_IdrR((TSP32*)&pSecBuf->Write);  in HAL_TSP_SecBuf_GetWrite()
3389 MS_BOOL HAL_TSP_SecBuf_TryAlloc(REG_SecBuf *pSecBuf, MS_U16 u16TSPId)  in HAL_TSP_SecBuf_TryAlloc()  argument
3396     reg = TSP32_IdrR(&pSecBuf->Start) & (TSP_SECBUF_OWNER_MASK | TSP_SECBUF_ALLOC_MASK);  in HAL_TSP_SecBuf_TryAlloc()
3410 void HAL_TSP_SecBuf_Free(REG_SecBuf *pSecBuf)  in HAL_TSP_SecBuf_Free()  argument
3413     TSP32_IdrW(&pSecBuf->Start, 0x0);  in HAL_TSP_SecBuf_Free()