/*
 * Copyright (C) by Argonne National Laboratory
 *     See COPYRIGHT in top-level directory
 */

#ifndef MPL_TIMER_GCC_IA64_CYCLE_H_INCLUDED
#define MPL_TIMER_GCC_IA64_CYCLE_H_INCLUDED

static inline void MPL_wtime(MPL_time_t * timeval)
{
    MPL_time_t t_val;

#ifdef __INTEL_COMPILER
#include "ia64regs.h"
    t_val = __getReg(_IA64_REG_AR_ITC);
#else
    __asm__ __volatile__("mov %0=ar.itc":"=r"(t_val));
#endif

    *timeval = t_val;

    return MPL_SUCCESS;
}

#endif /* MPL_TIMER_GCC_IA64_CYCLE_H_INCLUDED */