1 ;------------------------------------------------------------------------------
3 ; Copyright (c) 2006 - 2013, Intel Corporation. All rights reserved.<BR>
5 ; This program and the accompanying materials
6 ; are licensed and made available under the terms and conditions of the BSD License
7 ; which accompanies this distribution. The full text of the license may be found at
8 ; http://opensource.org/licenses/bsd-license.php.
10 ; THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS,
11 ; WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED.
13 ;------------------------------------------------------------------------------
19 ;------------------------------------------------------------------------------
24 ; VOID *KernelBootParams
26 ;------------------------------------------------------------------------------
30 call DWORD PTR [esp + 4]
35 ;------------------------------------------------------------------------------
39 ; EFI_HANDLE ImageHandle,
40 ; EFI_SYSTEM_TABLE *SystemTable,
41 ; VOID *KernelBootParams,
44 ;------------------------------------------------------------------------------