Subversion Repositories HelenOS

Rev

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

Rev 4138 Rev 4140
Line 1... Line 1...
1
/*
1
/*
2
 * Copyright (c) 2005 Jakub Jermar
2
 * Copyright (c) 2009 Jakub Jermar
3
 * All rights reserved.
3
 * All rights reserved.
4
 *
4
 *
5
 * Redistribution and use in source and binary forms, with or without
5
 * Redistribution and use in source and binary forms, with or without
6
 * modification, are permitted provided that the following conditions
6
 * modification, are permitted provided that the following conditions
7
 * are met:
7
 * are met:
Line 43... Line 43...
43
#include <config.h>
43
#include <config.h>
44
 
44
 
45
/** Perform sparc64 specific initialization of paging. */
45
/** Perform sparc64 specific initialization of paging. */
46
void page_arch_init(void)
46
void page_arch_init(void)
47
{
47
{
48
    if (config.cpu_active == 1) {
48
    if (config.cpu_active == 1)
49
        page_mapping_operations = &ht_mapping_operations;
49
        page_mapping_operations = &ht_mapping_operations;
50
    }
-
 
51
}
50
}
52
 
51
 
53
/** Map memory-mapped device into virtual memory.
52
/** Map memory-mapped device into virtual memory.
54
 *
53
 *
55
 * So far, only DTLB is used to map devices into memory. Chances are that there
54
 * We are currently using identity mapping for mapping device registers.
56
 * will be only a limited amount of devices that the kernel itself needs to
-
 
57
 * lock in DTLB.
-
 
58
 *
-
 
59
 * @param physaddr Physical address of the page where the device is located.
-
 
60
 *  Must be at least page-aligned.
-
 
61
 * @param size Size of the device's registers. Must not exceed 4M and must
-
 
62
 *  include extra space caused by the alignment.
-
 
63
 *
55
 *
-
 
56
 * @param physaddr  Physical address of the page where the device is
-
 
57
 *          located.
-
 
58
 * @param size      Size of the device's registers. This argument is
-
 
59
 *          ignored.
-
 
60
 *
64
 * @return Virtual address of the page where the device is mapped.
61
 * @return      Virtual address of the page where the device is mapped.
65
 */
62
 */
66
uintptr_t hw_map(uintptr_t physaddr, size_t size)
63
uintptr_t hw_map(uintptr_t physaddr, size_t size)
67
{
64
{
68
    return PA2KA(physaddr);
65
    return PA2KA(physaddr);
69
}
66
}