Lines Matching full:ve
604 * fail, and, as a practical matter, we've overflowed the in DEFINE_IDTENTRY_DF()
1453 #define VE_FAULT_STR "VE fault"
1472 * Virtualization Exceptions (#VE) are delivered to TDX guests due to
1493 * MMIO regions, use #VE triggering MSRs, instructions, or CPUID leaves
1494 * that might generate #VE. VMM can remove memory from TD at any point,
1496 * termination, not to #VE.
1501 * During #VE delivery, all interrupts, including NMIs, are blocked until
1502 * TDGETVEINFO is called. It prevents #VE nesting until the kernel reads
1503 * the VE info.
1505 * If a guest kernel action which would normally cause a #VE occurs in
1511 * aspect. Similarly to #PF, #VE in these places will expose kernel to
1516 struct ve_info ve; in DEFINE_IDTENTRY() local
1520 * till TDGETVEINFO TDCALL is executed. This ensures that VE in DEFINE_IDTENTRY()
1521 * info cannot be overwritten by a nested #VE. in DEFINE_IDTENTRY()
1523 tdx_get_ve_info(&ve); in DEFINE_IDTENTRY()
1531 if (!tdx_handle_virt_exception(regs, &ve)) in DEFINE_IDTENTRY()
1532 ve_raise_fault(regs, 0, ve.gla); in DEFINE_IDTENTRY()