Subversion Repositories c0or1k

/*

 * Test cache control system call

 *

 * Copyright (C) 2010 B Labs Ltd.

 *

 * Author: Bahadir Balban

 */

#include INC_GLUE(memory.h)

#include <l4lib/lib/cap.h>

#include <l4/api/cache.h>

#include <linker.h>

#include <stdio.h>

#include <l4lib/macros.h>

#include L4LIB_INC_ARCH(syscalls.h)

/* This simply tests that all cache calls are working */

int test_cctrl_basic(void)

{

        struct capability *virtcap = cap_get_by_type(CAP_TYPE_MAP_VIRTMEM);

        void *start = (void *)__pfn_to_addr(virtcap->start);

        void *end = (void *)__end;

        int err;

        if ((err = l4_cache_control(start, end, L4_INVALIDATE_ICACHE)) < 0)

                return err;

        if ((err = l4_cache_control(start, end, L4_INVALIDATE_DCACHE)) < 0)

                return err;

        if ((err = l4_cache_control(start, end, L4_CLEAN_INVALIDATE_DCACHE)) < 0)

                return err;

        if ((err = l4_cache_control(start, end, L4_CLEAN_DCACHE)) < 0)

                return err;

        if ((err = l4_cache_control(start, end, L4_INVALIDATE_TLB)) < 0)

                return err;

        return 0;

}

int test_cctrl_sync_caches()

{

        /*

         * Double-map a physical page and fill it with

         * mov r0, r0, r0 * PAGE_SIZE - 1

         * b return_label

         */

        /* Flush the Dcache for that page */

        /* Invalidate I cache for that page */

        /* Execute the page */

        /*

         * Create a new address space and execute the page from

         * that space

         */

        return 0;

}

int test_api_cctrl(void)

{

        int err;

        if ((err = test_cctrl_basic()) < 0)

                goto out_err;

        printf("CACHE CONTROL:                 -- PASSED --\n");

        return 0;

out_err:

        printf("CACHE CONTROL:                 -- FAILED --\n");

        return err;

}