Searched refs:previous_ppin (Results 1 – 1 of 1) sorted by relevance
146 uint64_t previous_ppin; member510 printf(" Previous PPIN: 0x%lx\n", lbc->previous_ppin); in sdsi_state_cert_show()