24 static void test_facilities(void)  in test_facilities()  argument
35 static void test_skey(void)  in test_skey()  argument
49 static void test_pfmf(void)  in test_pfmf()  argument
64 static void test_psw_key(void)  in test_psw_key()  argument
73 static void test_mvcos(void)  in test_mvcos()  argument
91 static void test_spka(void)  in test_spka()  argument
100 static void test_tprot(void)  in test_tprot()  argument
109 static void wait_for_flag(void)  in wait_for_flag()  argument
139 static void ecall_setup(void)  in ecall_setup()  argument
152 static void test_exception_ext_new(void)  in test_exception_ext_new()  argument
171 int main(void)  in main()  argument