3#include <revolution/ARC.h> 
    4#include <revolution/IPC.h> 
   11    ES_IOCTLV_LAUNCH_TITLE = 8,
 
   12    ES_IOCTLV_READ_CONTENT_FILE = 10,
 
   13    ES_IOCTLV_GET_NUM_TICKET_VIEWS = 18,
 
   14    ES_IOCTLV_GET_TICKET_VIEWS = 19,
 
   15    ES_IOCTLV_GET_DATA_DIR = 29,
 
   16    ES_IOCTLV_GET_TITLE_ID = 32,
 
   17    ES_IOCTLV_SEEK_CONTENT_FILE = 35,
 
   28s32 ESP_ReadContentFile(s32 fd, 
void* dst, u32 len);
 
   29s32 ESP_SeekContentFile(s32 fd, s32 offset, s32 origin);