int l4_kread(u32 rd, void *addr);

• Return system information to pagers

• System information to be returned is defined in the rd argument and the information buffer is pointed by the addr argument.
• The system information may be kernel-specific, architecture-specific, container-specific etc. such that its format is unspecified by the system call.
• Currently, the pager receives information on available system memory, page mappings and boot descriptors via this call.

/* A compact memory descriptor to determine used/unused physical pages in the system */
struct page_bitmap {
	unsigned long pfn_start;
	unsigned long pfn_end;
	unsigned int map[PHYSMEM_TOTAL_PAGES >> 5];
};

N/A

In the future, this system call will be deprecated and replaced by an L4_CONTAINER_CONTROL system call that implements the same functionality in a generic format.

<< Back to Codezero API Reference