src/tests/modules/x86_pte_tester