开通博客赚积分
发布资源赚积分
分类

源码开发语言/平台
当前位置：首页 > 源码/资料 > 嵌入式/单片机编程 > VxWorks > 查看源码
usrWdbTaskFpp.c
资源名称：ixp425BSP.rar　[点击查看]
上传用户：luoyougen
上传日期：2008-05-12
资源大小：23136k
文件大小：2k
源码类别：

VxWorks

开发平台：

C/C++

usrWdbTaskFpp.c：源码内容
  1. /* usrWdbTaskFpp.c - optional floating point support for the task WDB agent */
  3. /* Copyright 1998 Wind River Systems, Inc. */
  5. /*
  6. modification history
  7. --------------------
  8. 01a,22may98,dbt  taken from 01a of usrWdbFpp.c
  9. */
  11. /*
  12. DESCRIPTION
  14. This library configures the task mode WDB agent's hardware floating point
  15. support.
  16. */
  18. /* externals */
  20. extern FUNCPTR wdbTaskFpRegsSet;
  21. extern FUNCPTR wdbTaskFpRegsGet;
  22. extern BOOL     wdbTgtHasFpp (void);
  24. /* forward static declarations */
  26. static STATUS _wdbTaskFpRegsSet (WDB_CTX * pContext, char * pRegSet);
  27. static STATUS _wdbTaskFpRegsGet (WDB_CTX * pContext, char ** ppRegSet);
  29. /******************************************************************************
  30. *
  31. * _wdbTaskFpRegsSet - set a tasks fpp regs
  32. */
  34. static STATUS _wdbTaskFpRegsSet
  35.     (
  36.     WDB_CTX *    pContext,
  37.     char *       pRegSet
  38.     )
  39.     {
  40.     WIND_TCB * pTcb = taskTcb (pContext->contextId);
  42.     if ((pTcb == NULL) || (pTcb->pFpContext == NULL))
  43.         return (ERROR);
  45.     bcopy (pRegSet, (char *)(pTcb->pFpContext), sizeof (FP_CONTEXT));
  46.     return (OK);
  47.     }
  49. /******************************************************************************
  50. *
  51. * _wdbTaskFpRegsGet - Get a tasks fpp regs
  52. */
  54. static STATUS _wdbTaskFpRegsGet
  55.     (
  56.     WDB_CTX *           pContext,
  57.     char **             ppRegSet
  58.     )
  59.     {
  60.     WIND_TCB * pTcb = taskTcb (pContext->contextId);
  62.     if ((pTcb == NULL) || (pTcb->pFpContext == NULL))
  63.         return (ERROR);
  65.     *ppRegSet = (char *) pTcb->pFpContext;
  66.     return (OK);
  67.     }
  69. /******************************************************************************
  70. *
  71. * wdbTaskFppInit - initialize hardware floating point support
  72. *
  73. * This routine initializes hardware floating point support for the task
  74. * mode agent.
  75. *
  76. * NOMANUAL
  77. */
  79. void wdbTaskFppInit (void)
  80.     {
  81.     /* install task mode fpp get/set routines */
  83.     if (wdbTgtHasFpp())
  84. {
  85. wdbTaskFpRegsSet = _wdbTaskFpRegsSet;
  86. wdbTaskFpRegsGet = _wdbTaskFpRegsGet;
  87. }
  88.     }