Searched refs:__tss_ecx (Results 1 – 3 of 3) sorted by relevance
56 int __tss_ecx; member
336 tf.tf_ecx = tss->__tss_ecx; in ddb_ipi_tss()
189 tf.tf_ecx = tss->__tss_ecx; in trap_tss()