Searched refs:tcpunum (Results 1 – 2 of 2) sorted by relevance
55 const uint32_t tcpunum = ps->cpu_id; in hw_lck_ticket_unlock_kick_pv() local57 if (!bit_test(wmask, tcpunum)) { in hw_lck_ticket_unlock_kick_pv()74 hvg_hc_kick_cpu(tcpunum); in hw_lck_ticket_unlock_kick_pv()
76 const uint32_t tcpunum = ps->cpu_id; in hw_lck_ticket_unlock_kick_pv() local78 if ((wmask & cpu_to_cpumask(tcpunum)) == 0) { in hw_lck_ticket_unlock_kick_pv()95 kvm_hc_kick_cpu(tcpunum); in hw_lck_ticket_unlock_kick_pv()