Searched full:pks (Results 1 – 5 of 5) sorted by relevance
38 tests += $(TEST_DIR)/pks.$(exe)
157 [pks]158 file = pks.flat
72 printf("PKS not enabled\n"); in main()
1428 * guaranteed to be '1', i.e. PSE is fair game. PKU/PKS are in test_vmxon_bad_cr()
316 pks388 pks434 pks