Searched refs:TYPE_SGX_EPC (Results 1 – 3 of 3) sorted by relevance
| /openbmc/qemu/include/hw/i386/ |
| H A D | sgx-epc.h | 18 #define TYPE_SGX_EPC "sgx-epc" macro
20 OBJECT_CHECK(SGXEPCDevice, (obj), TYPE_SGX_EPC)
22 OBJECT_CLASS_CHECK(SGXEPCDeviceClass, (oc), TYPE_SGX_EPC)
24 OBJECT_GET_CLASS(SGXEPCDeviceClass, (obj), TYPE_SGX_EPC)
|
| /openbmc/qemu/hw/i386/ |
| H A D | sgx-epc.c | 62 error_setg(errp, "'" TYPE_SGX_EPC "' can't be created after vCPUs," in sgx_epc_realize()
171 .name = TYPE_SGX_EPC,
|
| H A D | sgx.c | 45 if (object_dynamic_cast(obj, TYPE_SGX_EPC)) { in sgx_epc_device_list()
314 DeviceState *dev = qdev_new(TYPE_SGX_EPC); in pc_machine_init_sgx_epc()
|