Lines Matching full:ve
522 * fail, and, as a practical matter, we've overflowed the in DEFINE_IDTENTRY_DF()
1371 #define VE_FAULT_STR "VE fault"
1390 * Virtualization Exceptions (#VE) are delivered to TDX guests due to
1411 * MMIO regions, use #VE triggering MSRs, instructions, or CPUID leaves
1412 * that might generate #VE. VMM can remove memory from TD at any point,
1414 * termination, not to #VE.
1419 * During #VE delivery, all interrupts, including NMIs, are blocked until
1420 * TDGETVEINFO is called. It prevents #VE nesting until the kernel reads
1421 * the VE info.
1423 * If a guest kernel action which would normally cause a #VE occurs in
1429 * aspect. Similarly to #PF, #VE in these places will expose kernel to
1434 struct ve_info ve; in DEFINE_IDTENTRY() local
1438 * till TDGETVEINFO TDCALL is executed. This ensures that VE in DEFINE_IDTENTRY()
1439 * info cannot be overwritten by a nested #VE. in DEFINE_IDTENTRY()
1441 tdx_get_ve_info(&ve); in DEFINE_IDTENTRY()
1449 if (!tdx_handle_virt_exception(regs, &ve)) in DEFINE_IDTENTRY()
1450 ve_raise_fault(regs, 0, ve.gla); in DEFINE_IDTENTRY()