| .. | .. |
|---|
| 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) |
|---|