Lines Matching refs:tmp_vaddr
793 void *tmp_vaddr; in sgx_ioctl_add_page() local
801 tmp_vaddr = NULL; in sgx_ioctl_add_page()
830 tmp_vaddr = malloc(PAGE_SIZE, M_SGX, M_WAITOK | M_ZERO); in sgx_ioctl_add_page()
831 ret = copyin((void *)addp->src, tmp_vaddr, PAGE_SIZE); in sgx_ioctl_add_page()
844 t = (struct tcs *)tmp_vaddr; in sgx_ioctl_add_page()
877 pginfo.srcpge = (uint64_t)tmp_vaddr; in sgx_ioctl_add_page()
906 free(tmp_vaddr, M_SGX); in sgx_ioctl_add_page()
911 free(tmp_vaddr, M_SGX); in sgx_ioctl_add_page()
924 void *tmp_vaddr; in sgx_ioctl_init() local
932 tmp_vaddr = NULL; in sgx_ioctl_init()
947 tmp_vaddr = malloc(PAGE_SIZE, M_SGX, M_WAITOK | M_ZERO); in sgx_ioctl_init()
948 sigstruct = tmp_vaddr; in sgx_ioctl_init()
982 free(tmp_vaddr, M_SGX); in sgx_ioctl_init()