coreboot
coreboot is an Open Source project aimed at replacing the proprietary BIOS found in most computers.
boot.h
Go to the documentation of this file.
1 /* SPDX-License-Identifier: GPL-2.0-only */
2 
3 #ifndef ASM_I386_BOOT_H
4 #define ASM_I386_BOOT_H
5 
6 #define ELF_CLASS ELFCLASS32
7 #define ELF_DATA ELFDATA2LSB
8 #define ELF_ARCH EM_386
9 
10 #include <types.h>
11 /*
12  * Jump to function in protected mode.
13  * @arg func_ptr Function to jump to in protected mode
14  * @arg Argument to pass to called function
15  *
16  * @noreturn
17  */
19  uint32_t argument);
20 
21 #endif /* ASM_I386_BOOT_H */
unsigned int uint32_t
Definition: stdint.h:14
void protected_mode_jump(uint32_t func_ptr, uint32_t argument)