#ifndef _PSP2_IO_DEVCTL_H_
#define _PSP2_IO_DEVCTL_H_

#pragma GCC warning "psp2/io/devctl.h is deprecated. Please include psp2/kernel/iofilemgr.h."

#include <psp2/kernel/iofilemgr.h>

#endif /* _PSP2_IO_DEVCTL_H_ */