Home
last modified time | relevance | path

Searched refs:CPUID_SGX_EPC_LOW_MASK (Results 1 – 3 of 3) sorted by relevance

/hypervisor/include/arch/x86/asm/
A Dsgx.h16 #define CPUID_SGX_EPC_LOW_MASK 0xFFFFF000U macro
/hypervisor/arch/x86/
A Dsgx.c32 ((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()
/hypervisor/arch/x86/guest/
A Dvcpuid.c225 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