Symbol: vmcs_field_encoding
sys/amd64/vmm/intel/vmcs.c
209
encoding = vmcs_field_encoding(ident);
sys/amd64/vmm/intel/vmcs.c
234
encoding = vmcs_field_encoding(ident);