| /* SPDX-License-Identifier: GPL-2.0+ */ |
| * (C) Copyright 2015 Google, Inc |
| * Written by Simon Glass <sjg@chromium.org> |
| #include <asm/msr-index.h> |
| #include <asm/processor-flags.h> |
| * rdi - 32-bit code segment selector |
| * rdx - table address (0 if none) |
| * Debugging option, this outputs characters to the console UART |
| push %rdi /* 32-bit code segment */ |
| * We are now in compatibility mode with a default operand size of |
| * 32 bits. First disable paging. |
| /* Disable Long mode in EFER (Extended Feature Enable Register) */ |
| /* Set up table pointer for _x86boot_start */ |
| /* Jump to the required target */ |
| pushl %edi /* 32-bit code segment */ |
| pushl %esi /* 32-bit target address */ |