Lines Matching defs:reason
147 const char *reason;
152 reason = NULL;
158 reason = "by DMAR table";
160 if (reason != NULL)
161 return (reason);
190 reason =
197 if (reason != NULL)
198 return (reason);
210 const char *reason;
215 reason = madt_x2apic_disable_reason();
217 if (reason != NULL && bios_x2apic) {
221 reason);
222 reason = NULL;
224 if (reason == NULL)
227 printf("x2APIC available but disabled %s\n", reason);