unsigned as_add(paddr_t start, 
                paddr_t end, 
                unsigned attr, 
                const char *name, 
                unsigned owner);

Add an entry to the asinfo section of the system page. Parameters map one-to-one with field names. Returns the offset from the start of the section for the new entry.

For more information and an example, see "Typed memory" in the Interprocess Communication (IPC) chapter of the System Architecture guide.