Searched refs:machine_set_sgx_epc (Results 1 – 1 of 1) sorted by relevance
338 static void machine_set_sgx_epc(Object *obj, Visitor *v, const char *name, in machine_set_sgx_epc() function439 machine_get_sgx_epc, machine_set_sgx_epc, in x86_machine_class_init()