Home
last modified time | relevance | path

Searched defs:tmp_vaddr (Results 1 – 1 of 1) sorted by relevance

/freebsd/sys/amd64/sgx/
H A Dsgx.c793 void *tmp_vaddr; in sgx_ioctl_add_page() local
924 void *tmp_vaddr; in sgx_ioctl_init() local