#include "types.h" PS4_SYSV_ABI u64 UnresolvedStub(); u64 GetStub(const char *nid);