devctl_impl.h revision 83c4dfe9546fd839e7a52bca7e9920da918f916e