path: root/src/mainboard/siemens/sitemp_g1p1/mainboard.h

void mainboard_inject_dsdt(device_t device);