#include #include INTERFACE cpu; METHOD struct ksensordev * get_sensdev { device_t dev; };