3 # Copyright (c) 1999 - 2014, Intel Corporation. All rights reserved
5 # SPDX-License-Identifier: BSD-2-Clause-Patent
16 #------------------------------------------------------------------------------
19 .globl ASM_PFX(EfiHalt)
20 .globl ASM_PFX(EfiWbinvd)
21 .globl ASM_PFX(EfiInvd)
22 .globl ASM_PFX(EfiCpuid)
23 .globl ASM_PFX(EfiReadTsc)
24 .globl ASM_PFX(EfiDisableCache)
25 .globl ASM_PFX(EfiEnableCache)
26 .globl ASM_PFX(EfiReadMsr)
27 .globl ASM_PFX(EfiWriteMsr)
28 .globl ASM_PFX(EfiGetEflags)
29 .globl ASM_PFX(EfiDisableInterrupts)
30 .globl ASM_PFX(EfiEnableInterrupts)
31 .globl ASM_PFX(EfiCpuidExt)
36 #------------------------------------------------------------------------------
41 #------------------------------------------------------------------------------
47 #------------------------------------------------------------------------------
52 #------------------------------------------------------------------------------
58 #------------------------------------------------------------------------------
63 #------------------------------------------------------------------------------
68 #------------------------------------------------------------------------------
71 # IN UINT32 RegisterInEax, // rcx
72 # OUT EFI_CPUID_REGISTER *Reg OPTIONAL // rdx
74 #------------------------------------------------------------------------------
90 #------------------------------------------------------------------------------
93 # IN UINT32 Index, // rcx
95 #------------------------------------------------------------------------------
102 #------------------------------------------------------------------------------
105 # IN UINT32 Index, // rcx
106 # IN UINT64 Value // rdx
108 #------------------------------------------------------------------------------
109 ASM_PFX(EfiWriteMsr):
115 #------------------------------------------------------------------------------
120 #------------------------------------------------------------------------------
127 #------------------------------------------------------------------------------
132 #------------------------------------------------------------------------------
133 ASM_PFX(EfiDisableCache):
134 # added a check to see if cache is already disabled. If it is, then skip.
146 #------------------------------------------------------------------------------
151 #------------------------------------------------------------------------------
152 ASM_PFX(EfiEnableCache):
155 and $0xffffffff9fffffff,%rax
159 #------------------------------------------------------------------------------
164 #------------------------------------------------------------------------------
165 ASM_PFX(EfiGetEflags):
170 #------------------------------------------------------------------------------
172 # EfiDisableInterrupts (
175 #------------------------------------------------------------------------------
176 ASM_PFX(EfiDisableInterrupts):
180 #------------------------------------------------------------------------------
182 # EfiEnableInterrupts (
185 #------------------------------------------------------------------------------
186 ASM_PFX(EfiEnableInterrupts):
189 #------------------------------------------------------------------------------
192 # IN UINT32 RegisterInEax,
193 # IN UINT32 CacheLevel,
194 # OUT EFI_CPUID_REGISTER *Regs
196 #------------------------------------------------------------------------------
197 ASM_PFX(EfiCpuidExt):