// automatically generated by stateify.

// +build amd64

package kernel