Porting CMSIS functions to comparable TivaWare functions

I have a project that is being ported to the TM4C1294 Tiva C MCU. The existing code uses a number of CMSIS function calls. For the most part, I have found comparable TivaWare functions that perform the same thing.

The two questions I have are:
1. Is there any guidance document for porting CMSIS functions to comparable TivaWare functions or operations

2. I haven't been able to find an operation that is comparable with NVIC_SystemReset(). Is there any function call using TivaWare that performs the same operations? The CMSIS implementation looks like this:

/**
  \brief   System Reset
  \details Initiates a system reset request to reset the MCU.
 */
__STATIC_INLINE void NVIC_SystemReset(void)
{
  __DSB();                                                          /* Ensure all outstanding memory accesses included
                                                                       buffered write are completed before reset */
  SCB->AIRCR  = (uint32_t)((0x5FAUL << SCB_AIRCR_VECTKEY_Pos)    |
                           (SCB->AIRCR & SCB_AIRCR_PRIGROUP_Msk) |
                            SCB_AIRCR_SYSRESETREQ_Msk    );         /* Keep priority group unchanged */
  __DSB();                                                          /* Ensure completion of memory access */

  for(;;)                                                           /* wait until reset */
  {
    __NOP();
  }
}

Thanks!