Searched defs:msr_platform_info (Results 1 – 1 of 1) sorted by relevance
29 uint64_t msr_platform_info; in guest_code() local85 uint64_t msr_platform_info; in main() local