portfs32
portfs32(uint32_t arg1, int32_t arg2, uint32_t arg3, uint32_t arg4,
(int (*)())(uintptr_t)portfs32,
