Searched refs:ppin (Results 1 – 3 of 3) sorted by relevance
466 uint64_t ppin; member
138 | ``ppin`` | 0x1 | 0x100 | SMI interrupt to use. Set by firmware. |
2670 ss << std::format(" CPU PPIN : 0x{:016X}\n", pBank->ppin); in handleCrdHdrBank()