static inline sys_prx_id_t prx_get_module_id_by_address(void *addr) { system_call_1(461, (uint64_t)(uint32_t)addr); return (int)p1; }
uint64_t peekq(uint64_t addr) { system_call_1(6, addr); return_to_user_prog(uint64_t); }
static inline void _sys_ppu_thread_exit(uint64_t val) { system_call_1(41, val); }