root/include/config/x86/platform/

[..]
  1. devices.h
[..]