Lines Matching +full:64 +full:- +full:bit

1 /* SPDX-License-Identifier: GPL-2.0 */
27 			 "16-bit accessor invalid for 64-bit field");  in vmcs_check16()
29 			 "16-bit accessor invalid for 64-bit high field");  in vmcs_check16()
31 			 "16-bit accessor invalid for 32-bit high field");  in vmcs_check16()
33 			 "16-bit accessor invalid for natural width field");  in vmcs_check16()
39 			 "32-bit accessor invalid for 16-bit field");  in vmcs_check32()
41 			 "32-bit accessor invalid for natural width field");  in vmcs_check32()
47 			 "64-bit accessor invalid for 16-bit field");  in vmcs_check64()
49 			 "64-bit accessor invalid for 64-bit high field");  in vmcs_check64()
51 			 "64-bit accessor invalid for 32-bit field");  in vmcs_check64()
53 			 "64-bit accessor invalid for natural width field");  in vmcs_check64()
59 			 "Natural width accessor invalid for 16-bit field");  in vmcs_checkl()
61 			 "Natural width accessor invalid for 64-bit field");  in vmcs_checkl()
63 			 "Natural width accessor invalid for 64-bit high field");  in vmcs_checkl()
65 			 "Natural width accessor invalid for 32-bit field");  in vmcs_checkl()
221 			 "vmcs_clear_bits does not support 64-bit fields");  in vmcs_clear_bits()
231 			 "vmcs_set_bits does not support 64-bit fields");  in vmcs_set_bits()