Searched refs:vrdi_bit (Results 1 – 1 of 1) sorted by relevance
174 uint64_t vrdi_bit; member7907 if (cr0 & cr0_info[i].vrdi_bit) in vmm_decode_cr0()7935 if (cr3 & cr3_info[i].vrdi_bit) in vmm_decode_cr3()7975 if (cr4 & cr4_info[i].vrdi_bit) in vmm_decode_cr4()7996 if (apicbase & apicbase_info[i].vrdi_bit) in vmm_decode_apicbase_msr_value()8018 if (fcr & fcr_info[i].vrdi_bit) in vmm_decode_ia32_fc_value()8043 if (val & mtrrcap_info[i].vrdi_bit) in vmm_decode_mtrrcap_value()8081 if (mtrrdeftype & mtrrdeftype_info[i].vrdi_bit) in vmm_decode_mtrrdeftype_value()8117 if (efer & efer_info[i].vrdi_bit) in vmm_decode_efer_value()8167 if (rflags & rflags_info[i].vrdi_bit) in vmm_decode_rflags()[all …]