/xen/lib/x86/

• ../
• Makefile
• cpuid.c
• msr.c
• policy.c
• private.h