2422 void HAL_TSP_SecBuf_SetBuf(REG_SecBuf *pSecBuf, MS_U32 u32StartAddr, MS_U32 u32BufSize)  in HAL_TSP_SecBuf_SetBuf()  argument
2426     owner = TSP32_IdrR(&pSecBuf->Start); // @FIXME local variable but not used?  in HAL_TSP_SecBuf_SetBuf()
2428     TSP32_IdrW(&pSecBuf->Start, u32StartAddr);  in HAL_TSP_SecBuf_SetBuf()
2429     TSP32_IdrW(&pSecBuf->End, u32StartAddr + u32BufSize);  in HAL_TSP_SecBuf_SetBuf()
2433 void HAL_TSP_SecBuf_SetRead(REG_SecBuf *pSecBuf, MS_U32 u32ReadAddr)  in HAL_TSP_SecBuf_SetRead()  argument
2435     TSP32_IdrW(&pSecBuf->Read, u32ReadAddr);  in HAL_TSP_SecBuf_SetRead()
2439 MS_U32 HAL_TSP_SecBuf_GetStart(REG_SecBuf *pSecBuf)  in HAL_TSP_SecBuf_GetStart()  argument
2441     return TSP32_IdrR(&pSecBuf->Start);  in HAL_TSP_SecBuf_GetStart()
2445 MS_U32 HAL_TSP_SecBuf_GetEnd(REG_SecBuf *pSecBuf)  in HAL_TSP_SecBuf_GetEnd()  argument
2447     return TSP32_IdrR(&pSecBuf->End);  in HAL_TSP_SecBuf_GetEnd()
2451 MS_U32 HAL_TSP_SecBuf_GetBufCur(REG_SecBuf *pSecBuf)  in HAL_TSP_SecBuf_GetBufCur()  argument
2458     return TSP32_IdrR(&pSecBuf->Cur);  in HAL_TSP_SecBuf_GetBufCur()
2462 void HAL_TSP_SecBuf_Reset(REG_SecBuf *pSecBuf)  in HAL_TSP_SecBuf_Reset()  argument
2466     start = TSP32_IdrR(&pSecBuf->Start);  in HAL_TSP_SecBuf_Reset()
2468     TSP32_IdrW(&pSecBuf->Cur,    start);  in HAL_TSP_SecBuf_Reset()
2469     TSP32_IdrW(&pSecBuf->Read,   start);  in HAL_TSP_SecBuf_Reset()
2470     TSP32_IdrW(&pSecBuf->Write,  start);  in HAL_TSP_SecBuf_Reset()
2472     start = ( (MS_VIRT)pSecBuf - (MS_VIRT)REG_SECBUF_BASE ) / sizeof(REG_SecBuf)  ;  in HAL_TSP_SecBuf_Reset()
2477 MS_U32  HAL_TSP_SecBuf_GetRead(REG_SecBuf *pSecBuf)  in HAL_TSP_SecBuf_GetRead()  argument
2479     return TSP32_IdrR((TSP32*)&pSecBuf->Read);  in HAL_TSP_SecBuf_GetRead()
2483 MS_U32  HAL_TSP_SecBuf_GetWrite(REG_SecBuf *pSecBuf)  in HAL_TSP_SecBuf_GetWrite()  argument
2485     return TSP32_IdrR((TSP32*)&pSecBuf->Write);  in HAL_TSP_SecBuf_GetWrite()
2489 MS_BOOL HAL_TSP_SecBuf_TryAlloc(REG_SecBuf *pSecBuf, MS_U16 u16TSPId)  in HAL_TSP_SecBuf_TryAlloc()  argument
2496     reg = TSP32_IdrR(&pSecBuf->Start) & (TSP_SECBUF_OWNER_MASK | TSP_SECBUF_ALLOC_MASK);  in HAL_TSP_SecBuf_TryAlloc()
2510 void HAL_TSP_SecBuf_Free(REG_SecBuf *pSecBuf)  in HAL_TSP_SecBuf_Free()  argument
2513     TSP32_IdrW(&pSecBuf->Start, 0x0);  in HAL_TSP_SecBuf_Free()