APIX_CPU_LOCK_HELD
if (APIX_CPU_LOCK_HELD(cpuid))
ASSERT(APIX_CPU_LOCK_HELD(tocpu));
ASSERT(APIX_CPU_LOCK_HELD(cpuid));