Searched refs:HARDWALL_IPI (Results 1 – 1 of 1) sorted by relevance
56 HARDWALL_IPI = 2, enumerator89 LIST_HEAD_INIT(hardwall_types[HARDWALL_IPI].list),90 __SPIN_LOCK_UNLOCKED(hardwall_types[HARDWALL_IPI].lock),150 hardwall_types[HARDWALL_IPI].disabled = 1; in noipi()477 current->thread.hardwall[HARDWALL_IPI].info; in hardwall_ipi_valid()