Obtain information stored in the system page.

The argument is a pointer to a procfs_sysinfo structure that's filled in with the required information upon return. To get the whole system page, you have to make two calls: the first gets the size required:

devctl( fd, DCMD_PROC_SYSINFO, NULL, 0, &totalsize );

You then allocate a buffer of the required size and pass that buffer to the second call:

buffer = malloc( totalsize );
devctl( fd, DCMD_PROC_SYSINFO, buffer, totalsize, NULL );

The procfs_sysinfo structure is the same as the system page; for more information, see "Structure of the system page" in the Customizing Image Startup Programs chapter of Building Embedded Systems.