Searched refs:tmp_vaddr (Results 1 – 1 of 1) sorted by relevance
787 void *tmp_vaddr; in sgx_ioctl_add_page() local795 tmp_vaddr = NULL; in sgx_ioctl_add_page()825 ret = copyin((void *)addp->src, tmp_vaddr, PAGE_SIZE); in sgx_ioctl_add_page()838 t = (struct tcs *)tmp_vaddr; in sgx_ioctl_add_page()870 pginfo.srcpge = (uint64_t)tmp_vaddr; in sgx_ioctl_add_page()899 free(tmp_vaddr, M_SGX); in sgx_ioctl_add_page()904 free(tmp_vaddr, M_SGX); in sgx_ioctl_add_page()917 void *tmp_vaddr; in sgx_ioctl_init() local925 tmp_vaddr = NULL; in sgx_ioctl_init()941 sigstruct = tmp_vaddr; in sgx_ioctl_init()[all …]