#ifndef _PSP2_IO_DEVCTL_H_
#define _PSP2_IO_DEVCTL_H_

#pragma message "psp2kern/io/devctl.h is deprecated. Please include psp2kern/kernel/iofilemgr.h."

#include <psp2kern/kernel/iofilemgr.h>

#endif /* _PSP2_IO_DEVCTL_H_ */