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

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