Lines Matching defs:basic
529 /* VMX basic exit reasons. */
1251 * input value for basic or extended function for that
1252 * processor then the data for the highest basic information
1265 if (eax < 0x40000000) { /* basic CPUID range */
1285 * basic CPUID range
3267 uint64_t basic, val, true_val;
3271 basic = rdmsr(MSR_IA32_VMX_BASIC);
3272 has_true = (basic & IA32_VMX_BASIC_TRUE_CTLS) != 0;
3297 uint64_t basic, val, true_val;
3301 basic = rdmsr(MSR_IA32_VMX_BASIC);
3302 has_true = (basic & IA32_VMX_BASIC_TRUE_CTLS) != 0;
3585 /* Init the max basic CPUID leaf. */
Indexes created Tue Oct 14 15:09:51 GMT 2025