1interface twl6030 "Controlling the Fully Integrated Power Management IC" {
2    rpc vmmc_on();
3    rpc vmmc_off();
4    rpc vmmc_vsel(in uint32 millis);
5};
6