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