/linux/include/config/oid/

• ../
• registry.h