23  * for 64-bit targets.  Preserving all registers allows the VMREAD inline asm
29  * 64-bit targets.
46 			 "16-bit accessor invalid for 64-bit field");  in vmcs_check16()
48 			 "16-bit accessor invalid for 64-bit high field");  in vmcs_check16()
50 			 "16-bit accessor invalid for 32-bit field");  in vmcs_check16()
52 			 "16-bit accessor invalid for natural width field");  in vmcs_check16()
58 			 "32-bit accessor invalid for 16-bit field");  in vmcs_check32()
60 			 "32-bit accessor invalid for 64-bit field");  in vmcs_check32()
62 			 "32-bit accessor invalid for 64-bit high field");  in vmcs_check32()
64 			 "32-bit accessor invalid for natural width field");  in vmcs_check32()
70 			 "64-bit accessor invalid for 16-bit field");  in vmcs_check64()
72 			 "64-bit accessor invalid for 64-bit high field");  in vmcs_check64()
74 			 "64-bit accessor invalid for 32-bit field");  in vmcs_check64()
76 			 "64-bit accessor invalid for natural width field");  in vmcs_check64()
82 			 "Natural width accessor invalid for 16-bit field");  in vmcs_checkl()
84 			 "Natural width accessor invalid for 64-bit field");  in vmcs_checkl()
86 			 "Natural width accessor invalid for 64-bit high field");  in vmcs_checkl()
88 			 "Natural width accessor invalid for 32-bit field");  in vmcs_checkl()
270 			 "vmcs_clear_bits does not support 64-bit fields");  in vmcs_clear_bits()
280 			 "vmcs_set_bits does not support 64-bit fields");  in vmcs_set_bits()