1#------------------------------------------------------------------------------
2#
3# Copyright (c) 2006 - 2009, Intel Corporation. All rights reserved.<BR>
4# This program and the accompanying materials
5# are licensed and made available under the terms and conditions of the BSD License
6# which accompanies this distribution.  The full text of the license may be found at
7# http://opensource.org/licenses/bsd-license.php
8#
9# THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS,
10# WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED.
11#
12# Module Name:
13#
14#   ReadTsc.S
15#
16# Abstract:
17#
18#   AsmReadTsc function
19#
20# Notes:
21#
22#------------------------------------------------------------------------------
23
24#include <EdkIIGlueBase.h>
25#------------------------------------------------------------------------------
26# UINT64
27# EFIAPI
28# AsmReadTsc (
29#   VOID
30#   );
31#------------------------------------------------------------------------------
32.globl ASM_PFX(AsmReadTsc)
33ASM_PFX(AsmReadTsc):
34    rdtsc
35    shl     $0x20, %rdx
36    or      %rdx, %rax
37    ret
38