|
Last change
on this file since 8fd0675f was d7f7a4a, checked in by Jiří Zárevúcky <zarevucky.jiri@…>, 4 years ago |
|
Replace some license headers with SPDX identifier
Headers are replaced using tools/transorm-copyright.sh only
when it can be matched verbatim with the license header used
throughout most of the codebase.
|
-
Property mode
set to
100644
|
|
File size:
259 bytes
|
| Line | |
|---|
| 1 | /*
|
|---|
| 2 | * SPDX-FileCopyrightText: 2018 Jiří Zárevúcky
|
|---|
| 3 | *
|
|---|
| 4 | * SPDX-License-Identifier: BSD-3-Clause
|
|---|
| 5 | */
|
|---|
| 6 |
|
|---|
| 7 | #ifndef BOOT_ELF_H_
|
|---|
| 8 | #define BOOT_ELF_H_
|
|---|
| 9 |
|
|---|
| 10 | #include <stdint.h>
|
|---|
| 11 |
|
|---|
| 12 | uintptr_t check_kernel_translated(void *, uintptr_t);
|
|---|
| 13 | uintptr_t check_kernel(void *);
|
|---|
| 14 |
|
|---|
| 15 | #endif
|
|---|
Note:
See
TracBrowser
for help on using the repository browser.
