Lines Matching +full:64 +full:- +full:bit
1 /* SPDX-License-Identifier: GPL-2.0 */
23 * for 64-bit targets. Preserving all registers allows the VMREAD inline asm
29 * 64-bit targets.
37 * exists primarily to enable instrumentation for the VM-Fail path.
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()