// automatically generated by stateify.

// +build linux

package flipcall