VMM: Remove #ifdef x86_64 from vmx.c
[akaros.git] / arch
1 kern/arch/