> Actually, it might be a bad idea. In C embedded assembly we sometimes> need %% and sometimes %.You speak of arch/x86/kvm/vmx.c, right ?