Searched refs:nssa (Results 1 – 2 of 2) sorted by relevance
145 uint32_t nssa; member
530 dprintf("t->nssa %x\n", t->nssa); in sgx_tcs_dump()