Searched refs:pcsbase (Results 1 – 1 of 1) sorted by relevance
51 uint64_t *pcsbase, uint32_t *pflags) in cpu_get_tb_cpu_state() argument94 *pcsbase = cs_base; in cpu_get_tb_cpu_state()