modules:
  SceSblSsMgr:
    nid: 0x4E913538
    libraries:
      SceSblSsMgrForDriver:
        nid: 0x61E9428D
        functions:
          sceKernelGetRandomNumber: 0x4F9BFBE5