DeviceACPI.h revision 26bfe3cb27d81c7dfba1fe5083d00765ae10fba0
1