Subversion Repositories HelenOS

Rev

Rev 2021 | Rev 2029 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed

Rev 2021 Rev 2028
Line 23... Line 23...
23 
 * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
 23 
 * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
24 
 * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
 24 
 * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
25 
 * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
 25 
 * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
26 
 * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
 26 
 * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
27 
 */
 27 
 */
- 
 
 28 
 
28 
#include <print.h>
 29 
#include <print.h>
29 
#include <test.h>
 30 
#include <test.h>
30 
#include <mm/page.h>
 31 
#include <mm/page.h>
31 
#include <mm/frame.h>
 32 
#include <mm/frame.h>
32 
#include <mm/as.h>
 33 
#include <mm/as.h>
33 
#include <arch/mm/page.h>
 34 
#include <arch/mm/page.h>
34 
#include <arch/types.h>
 35 
#include <arch/types.h>
35 
#include <debug.h>
 36 
#include <debug.h>
36 
 
 37 
 
37 
#ifdef CONFIG_BENCH
 - 
 
38 
#include <arch/cycle.h>
 - 
 
39 
#endif
 - 
 
40 
 
 - 
 
41 
#define PAGE0   0x10000000
 38 
#define PAGE0   0x10000000
42 
#define PAGE1   (PAGE0+PAGE_SIZE)
 39 
#define PAGE1   (PAGE0+PAGE_SIZE)
43 
 
 40 
 
44 
#define VALUE0  0x01234567
 41 
#define VALUE0  0x01234567
45 
#define VALUE1  0x89abcdef
 42 
#define VALUE1  0x89abcdef
46 
 
 43 
 
47 
void test_mapping1(void)
 44 
char * test_mapping1(void)
48 
{
 45 
{
49 
#ifdef CONFIG_BENCH
 - 
 
50 
    uint64_t t0 = get_cycle();
 - 
 
51 
#endif
 - 
 
52 
    uintptr_t frame0, frame1;
 46 
    uintptr_t frame0, frame1;
53 
    uint32_t v0, v1;
 47 
    uint32_t v0, v1;
54 
 
 48 
 
55 
    printf("Memory management test mapping #1\n");
 - 
 
56 
 
 - 
 
57 
    frame0 = (uintptr_t) frame_alloc(ONE_FRAME, FRAME_KA);
 49 
    frame0 = (uintptr_t) frame_alloc(ONE_FRAME, FRAME_KA);
58 
    frame1 = (uintptr_t) frame_alloc(ONE_FRAME, FRAME_KA);
 50 
    frame1 = (uintptr_t) frame_alloc(ONE_FRAME, FRAME_KA);
59 
 
 51 
 
60 
    printf("Writing %#x to physical address %p.\n", VALUE0, KA2PA(frame0));
 52 
    printf("Writing %#x to physical address %p.\n", VALUE0, KA2PA(frame0));
61 
    *((uint32_t *) frame0) = VALUE0;
 53 
    *((uint32_t *) frame0) = VALUE0;
Line 85... Line 77...
85 
    printf("Value at virtual address %p is %#x.\n", PAGE1, *((uint32_t *) PAGE1));
 77 
    printf("Value at virtual address %p is %#x.\n", PAGE1, *((uint32_t *) PAGE1));
86 
 
 78 
 
87 
    ASSERT(v0 == 0);
 79 
    ASSERT(v0 == 0);
88 
    ASSERT(v1 == 0);
 80 
    ASSERT(v1 == 0);
89 
   
 81 
   
90 
    printf("Test passed.\n");
 - 
 
91 
#ifdef CONFIG_BENCH
 - 
 
92 
    uint64_t dt = get_cycle() - t0;
 - 
 
93 
    printf("Time: %.*d cycles\n", sizeof(dt) * 2, dt);
 - 
 
94 
#endif 
82 
    return NULL;   
95 
}
 83 
}