num_in_wfs 316 arch/x86/kernel/tboot.c while (atomic_read((atomic_t *)&tboot->num_in_wfs) != num_aps && num_in_wfs 325 arch/x86/kernel/tboot.c return !(atomic_read((atomic_t *)&tboot->num_in_wfs) == num_aps); num_in_wfs 113 include/linux/tboot.h u32 num_in_wfs;