Skip to content
This repository
Fetching contributors…

Octocat-spinner-32-eaf2f5

Cannot retrieve contributors at this time

file 47 lines (37 sloc) 1.725 kb
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46
/*
+----------------------------------------------------------------------+
| HipHop for PHP |
+----------------------------------------------------------------------+
| Copyright (c) 2010- Facebook, Inc. (http://www.facebook.com) |
+----------------------------------------------------------------------+
| This source file is subject to version 3.01 of the PHP license, |
| that is bundled with this package in the file LICENSE, and is |
| available through the world-wide-web at the following url: |
| http://www.php.net/license/3_01.txt |
| If you did not receive a copy of the PHP license and are unable to |
| obtain it through the world-wide-web, please send a note to |
| license@php.net so we can mail you a copy immediately. |
+----------------------------------------------------------------------+
*/

#ifndef __HPHP_UTIL_VDSO_H
#define __HPHP_UTIL_VDSO_H

#include "base.h"
#include "util/util.h"

namespace HPHP { namespace Util {
///////////////////////////////////////////////////////////////////////////////

class Vdso {
public:
  Vdso();
  ~Vdso();
  
  static int64 ClockGetTimeNS(int clk_id);
  static int ClockGetTime(int clk_id, timespec *ts);

  inline ALWAYS_INLINE int clockGetTime(int clk_id, timespec *ts);
  inline ALWAYS_INLINE int64 clockGetTimeNS(int clk_id);

private:
  void *m_handle;
  int (*m_clock_gettime)(clockid_t, timespec *ts);
  int64 (*m_clock_gettime_ns)(clockid_t);
};

///////////////////////////////////////////////////////////////////////////////
}}

#endif // __HPHP_UTIL_HARDWARE_COUNTER_H__
Something went wrong with that request. Please try again.