/* Reads the status of the Ethernet system time interrupt. */
uint32_t EMACTimestampIntStatus(uint32_t ui32Base)
/* Reads the status of the Ethernet system time interrupt. */
uint32_t EMACTimestampIntStatus(uint32_t ui32Base)
{
    ASSERT(ui32Base == EMAC0_BASE);
    return (HWREG(ui32Base + EMAC_O_TIMSTAT));
}