BUILD_HEAD=a9c3bb11 timeout -k 1s --foreground 3000s /usr/libexec/qemu-kvm --no-reboot -nodefaults -device pc-testdev -device isa-debug-exit,iobase=0xf4,iosize=0x4 -vnc none -serial stdio -device pci-testdev -accel kvm -machine q35 -kernel /tmp/tmp.wpCBiUUPkB -smp 2 -append toggle_cr4_pge # -initrd /tmp/tmp.y74YKNH08L qemu-kvm: warning: CPU model qemu64-x86_64-cpu is deprecated -- use at least 'Nehalem' / 'Opteron_G4', or 'host' / 'max' enabling apic enabling apic paging enabled cr0 = 80010011 cr3 = 1007000 cr4 = 20 pci-testdev at 0x8 membar febfe000 iobar c000 toggle_cr4_pge 20880 PASS vmexit_cr4_pge