You're right, FULL_NO_HZ isn't mentioned in the blog I linked. It's more similar to CONFIG_NO_HZ.