43 static void cpu_loop(void)  in cpu_loop()  argument
95 static void test_i3(void)  in test_i3()  argument
117 static void test_priv(void)  in test_priv()  argument
136 static void test_uv_uninitialized(void)  in test_uv_uninitialized()  argument
155 static void test_access(void)  in test_access()  argument
213 static void test_config_destroy(void)  in test_config_destroy()  argument
239 static void test_cpu_destroy(void)  in test_cpu_destroy()  argument
269 static void test_set_se_header(void)  in test_set_se_header()  argument
316 static void test_cpu_create(void)  in test_cpu_create()  argument
419 static void test_config_create(void)  in test_config_create()  argument
548 static void test_init(void)  in test_init()  argument
623 static void test_query(void)  in test_query()  argument
659 static void test_invalid(void)  in test_invalid()  argument
676 static void setup_test_clear(void)  in setup_test_clear()  argument
707 static void test_clear(void)  in test_clear()  argument
740 static void setup_vmem(void)  in setup_vmem()  argument
756 int main(void)  in main()  argument