if (cpu->maxei >= 0x8000000a) {
cpuid (cpu->number, 0x8000000a, &eax, &ebx, NULL, &edx);
printf("SVM: revision %d, %d ASIDs",
(int) (eax & 0xff), (int) ebx);
if (edx & 1)
printf(", np");
if (edx & 2)
printf(", lbrVirt");
if (edx & 4)
printf(", SVMLock");
if (edx & 8)
printf(", NRIPSave");
printf("\n");
}