- a -

• attr_type : x64::memory_attr

- e -

• eptp_type : intel_x64::vmx

- f -

• field_type : intel_x64::msrs , intel_x64::vm , intel_x64::vmcs , x64::cpuid , x64::msrs

- i -

• integer_pointer : intel_x64::vm , intel_x64::vmx , x64::cache , x64::portio

- n -

• name_type : intel_x64::vm

- p -

• pointer : x64::cache
• port_16bit_type : x64::portio
• port_32bit_type : x64::portio
• port_8bit_type : x64::portio
• port_addr_type : x64::portio

- s -

• size_type : x64::portio

- t -

• type : vcpuid , x64::segment_register

- v -

• value_type : intel_x64::cr0 , intel_x64::cr2 , intel_x64::cr3 , intel_x64::cr4 , intel_x64::msrs , intel_x64::vm , intel_x64::vmcs , x64::cpuid , x64::dr7 , x64::msrs , x64::read_tsc , x64::read_tscp , x64::rflags
• vpid_type : intel_x64::vmx