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 | } |