.. | .. |
---|
| 1 | +// SPDX-License-Identifier: GPL-2.0-or-later |
---|
1 | 2 | /* ----------------------------------------------------------------------- * |
---|
2 | 3 | * |
---|
3 | 4 | * Copyright 2008 rPath, Inc. - All Rights Reserved |
---|
4 | | - * |
---|
5 | | - * This file is part of the Linux kernel, and is made available under |
---|
6 | | - * the terms of the GNU General Public License version 2 or (at your |
---|
7 | | - * option) any later version; incorporated herein by reference. |
---|
8 | 5 | * |
---|
9 | 6 | * ----------------------------------------------------------------------- */ |
---|
10 | 7 | |
---|
.. | .. |
---|
18 | 15 | #include "../include/asm/required-features.h" |
---|
19 | 16 | #include "../include/asm/disabled-features.h" |
---|
20 | 17 | #include "../include/asm/cpufeatures.h" |
---|
| 18 | +#include "../include/asm/vmxfeatures.h" |
---|
21 | 19 | #include "../kernel/cpu/capflags.c" |
---|
22 | 20 | |
---|
23 | 21 | int main(void) |
---|