#
# requires: arch=amd64 -threaded
#
r0 = openat$kvm(0, &AUTO='/dev/kvm\x00', 0x0, 0x0)
r1 = ioctl$KVM_CREATE_VM(r0, AUTO, 0x0)
r2 = syz_kvm_setup_syzos_vm$x86(r1, &(0x7f0000c00000/0x400000)=nil)

# Test L0 emulation of the AMD SVM INVLPGA instruction.
#
# 1. Setup nested environment (L1).
# 2. L1 executes INVLPGA with specific ASID and Linear Address.
#    - This triggers a VMEXIT to L0.
#    - L0 must emulate the invalidation in its Shadow MMU / NPT.
#    - L0 resumes L1.
# 3. L1 executes UEXIT(0xface) to signal survival.
#
# Arguments for INVLPGA:
# Arg 0: Linear Address (e.g., 0x400000)
# Arg 1: ASID (e.g., 1)
#
r3 = syz_kvm_add_vcpu$x86(r2, &AUTO={0x0, &AUTO=[@enable_nested={AUTO, AUTO, 0x0}, @nested_create_vm={AUTO, AUTO, 0x0}, @nested_amd_invlpga={AUTO, AUTO, {0x400000, 0x1}}, @uexit={AUTO, AUTO, 0xface}], AUTO})
r4 = ioctl$KVM_GET_VCPU_MMAP_SIZE(r0, AUTO)
r5 = mmap$KVM_VCPU(&(0x7f0000009000/0x1000)=nil, r4, 0x3, 0x1, r3, 0x0)

# Run the VCPU. 
# We expect the guest to execute INVLPGA (handled transparently by L0) 
# and then immediately yield with UEXIT code 0xface.
#
ioctl$KVM_RUN(r3, AUTO, 0x0)
syz_kvm_assert_syzos_uexit$x86(r3, r5, 0xface)

# guest_main should finish with guest_uexit(-1).
#
ioctl$KVM_RUN(r3, AUTO, 0x0)
syz_kvm_assert_syzos_uexit$x86(r3, r5, 0xffffffff)