Searched refs:VMCS_FIELD_WIDTH_U64 (Results 1 – 1 of 1) sorted by relevance
4809 VMCS_FIELD_WIDTH_U64 = 1, enumerator4832 if (vmcs_field_width(field) == VMCS_FIELD_WIDTH_U64 && in init_vmcs_shadow_fields()4851 if (vmcs_field_width(field) == VMCS_FIELD_WIDTH_U64 && in init_vmcs_shadow_fields()8576 case VMCS_FIELD_WIDTH_U64: in vmcs12_read_any()8600 case VMCS_FIELD_WIDTH_U64: in vmcs12_write_any()