FULLSTOP_SHUTDOWN
while (READ_ONCE(fullstop) == FULLSTOP_SHUTDOWN) {
WRITE_ONCE(fullstop, FULLSTOP_SHUTDOWN);
if (READ_ONCE(fullstop) == FULLSTOP_SHUTDOWN) {