diff options
| author | Ravikiran G Thirumalai <kiran@scalex86.org> | 2008-03-20 10:41:16 +0300 |
|---|---|---|
| committer | Ingo Molnar <mingo@elte.hu> | 2008-04-17 19:41:08 +0400 |
| commit | aa7d8e25eca5deb33eb08013bc78a80514349b40 (patch) | |
| tree | 71075bf2c7103641377e5e182102cf8350797f8b /drivers/xen/Makefile | |
| parent | 3250c91ada16a06de5afef55bce7b766c894d75c (diff) | |
| download | linux-aa7d8e25eca5deb33eb08013bc78a80514349b40.tar.xz | |
x86: fix build breakage when PCI is define and PARAVIRT is not
- Fix the the build breakage when PARAVIRT is defined
but PCI is not
This fixes problem reported at:
http://marc.info/?l=linux-kernel&m=120525966600698&w=2
- Make is_vsmp_box() available even when PARAVIRT is not defined.
This is needed to determine if tsc's are reliable as a time source
even when PARAVIRT is not defined.
- split vsmp_init to use is_vsmp_box() and set_vsmp_pv_ops()
set_vsmp_pv_ops will do nothing if PCI is not enabled in the config.
Signed-off-by: Ravikiran Thirumalai <kiran@scalex86.org>
Signed-off-by: Ingo Molnar <mingo@elte.hu>
Diffstat (limited to 'drivers/xen/Makefile')
0 files changed, 0 insertions, 0 deletions