#include <sys/mman.h>
#include <stdio.h>
#include <stdlib.h>
#include <kernel/OS.h>

#define SPACE_SIZE (B_PAGE_SIZE * 9)

int
main()
{
	void* space = NULL;
	area_id area = create_area("mlock test area", &space, B_EXACT_ADDRESS,
		SPACE_SIZE, B_NO_LOCK, B_READ_AREA | B_WRITE_AREA);

	/* --------- */
	int result = mlock(space + B_PAGE_SIZE, B_PAGE_SIZE * 7);
	/* -xxxxxxx- */
	assert(result == 0);
	result = munlock(space + 2 * B_PAGE_SIZE, B_PAGE_SIZE * 5);
	/* -x-----x- */
	assert(result == 0);
	result = mlock(space + 2 * B_PAGE_SIZE, B_PAGE_SIZE * 3);
	/* -xxxx--x- */
	assert(result == 0);
	result = mlock(space, B_PAGE_SIZE * 9);
	/* xxxxxxxxx */
	assert(result == 0);
	result = munlock(space + 4 * B_PAGE_SIZE, B_PAGE_SIZE * 5);
	/* xxxx----- */
	assert(result == 0);
	result = munlock(space, B_PAGE_SIZE * 9);
	assert(result == 0);

	delete_area(area);
	return 0;
}