Searched refs:CPUID_SGX_EPC_LOW_MASK (Results 1 – 3 of 3) sorted by relevance
16 #define CPUID_SGX_EPC_LOW_MASK 0xFFFFF000U macro
32 ((uint64_t)eax & CPUID_SGX_EPC_LOW_MASK); in get_epc_section()34 ((uint64_t)ecx & CPUID_SGX_EPC_LOW_MASK); in get_epc_section()
225 entry.eax |= (uint32_t)maps[0].gpa & CPUID_SGX_EPC_LOW_MASK; in set_vcpuid_sgx()227 entry.ecx = (uint32_t)size & CPUID_SGX_EPC_LOW_MASK; in set_vcpuid_sgx()
Completed in 9 milliseconds