Searched refs:enclave_cid (Results 1 – 4 of 4) sorted by relevance
151 u64 enclave_cid; member160 u64 enclave_cid; member264 u64 enclave_cid; member
1057 enclave_start_req.enclave_cid = enclave_start_info->enclave_cid; in ne_start_enclave_ioctl()1073 enclave_start_info->enclave_cid = cmd_reply.enclave_cid; in ne_start_enclave_ioctl()1260 if (enclave_start_info.enclave_cid > 0 && in ne_enclave_ioctl()1261 enclave_start_info.enclave_cid <= VMADDR_CID_HOST) { in ne_enclave_ioctl()1268 if (enclave_start_info.enclave_cid == U32_MAX) { in ne_enclave_ioctl()1278 if (enclave_start_info.enclave_cid == NE_PARENT_VM_CID) { in ne_enclave_ioctl()1286 if (enclave_start_info.enclave_cid > U32_MAX) { in ne_enclave_ioctl()
356 __u64 enclave_cid; member
695 printf("Enclave started, CID %llu\n", enclave_start_info.enclave_cid); in ne_start_enclave_check_booted()