cc_mkdec
EXPORT_SYMBOL_GPL(cc_mkdec);
return _tdx_hypercall(TDVMCALL_GET_QUOTE, cc_mkdec(virt_to_phys(buf)), size, 0, 0);
start |= cc_mkdec(0);
end |= cc_mkdec(0);
u64 cc_mkdec(u64 val);
return cc_mkdec(pte_val(pte)) == pte_val(pte);
#define pgprot_decrypted(prot) __pgprot(cc_mkdec(pgprot_val(prot)))