Debugging
[L4 Region Mapper Library API Reference]

Functions
L4_CV void	l4rm_show_region_list (void)
	Show a list of all regions (debug).
l4rm_region_desc_t *	l4rm_get_region_list (void)
	Get region list pointer (debug).