Searched refs:tmp_vaddr (Results 1 – 1 of 1) sorted by relevance
782 void *tmp_vaddr; in sgx_ioctl_add_page() local790 tmp_vaddr = NULL; in sgx_ioctl_add_page()819 tmp_vaddr = malloc(PAGE_SIZE, M_SGX, M_WAITOK | M_ZERO); in sgx_ioctl_add_page()820 ret = copyin((void *)addp->src, tmp_vaddr, PAGE_SIZE); in sgx_ioctl_add_page()833 t = (struct tcs *)tmp_vaddr; in sgx_ioctl_add_page()865 pginfo.srcpge = (uint64_t)tmp_vaddr; in sgx_ioctl_add_page()894 free(tmp_vaddr, M_SGX); in sgx_ioctl_add_page()899 free(tmp_vaddr, M_SGX); in sgx_ioctl_add_page()912 void *tmp_vaddr; in sgx_ioctl_init() local920 tmp_vaddr = NULL; in sgx_ioctl_init()[all …]