/*1* Copyright (c) 2015 Janne Grunau <[email protected]>2*3* This file is part of FFmpeg.4*5* FFmpeg is free software; you can redistribute it and/or6* modify it under the terms of the GNU Lesser General Public7* License as published by the Free Software Foundation; either8* version 2.1 of the License, or (at your option) any later version.9*10* FFmpeg is distributed in the hope that it will be useful,11* but WITHOUT ANY WARRANTY; without even the implied warranty of12* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU13* Lesser General Public License for more details.14*15* You should have received a copy of the GNU Lesser General Public16* License along with FFmpeg; if not, write to the Free Software17* Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA18*/1920#ifndef AVUTIL_AARCH64_TIMER_H21#define AVUTIL_AARCH64_TIMER_H2223#include <stdint.h>24#include "config.h"2526#if HAVE_INLINE_ASM2728#define AV_READ_TIME read_time2930static inline uint64_t read_time(void)31{32uint64_t cycle_counter;33__asm__ volatile(34"isb \t\n"35"mrs %0, pmccntr_el0 "36: "=r"(cycle_counter) :: "memory" );3738return cycle_counter;39}4041#endif /* HAVE_INLINE_ASM */4243#endif /* AVUTIL_AARCH64_TIMER_H */444546