Searched refs:test_tlbie (Results 1 – 1 of 1) sorted by relevance
52 static void test_tlbie(int argc, char **argv) in test_tlbie() function195 { "tlbi-other-cpu", test_tlbie },