45,8 → 45,8 |
#ifdef CONFIG_SMP |
/** Entries locked in DTLB of BSP. |
* |
* Application processors need to have the same locked entries |
* in their DTLBs as the bootstrap processor. |
* Application processors need to have the same locked entries in their DTLBs as |
* the bootstrap processor. |
*/ |
static struct { |
uintptr_t virt_page; |
84,19 → 84,16 |
|
/** Map memory-mapped device into virtual memory. |
* |
* So far, only DTLB is used to map devices into memory. |
* Chances are that there will be only a limited amount of |
* devices that the kernel itself needs to lock in DTLB. |
* So far, only DTLB is used to map devices into memory. Chances are that there |
* will be only a limited amount of devices that the kernel itself needs to |
* lock in DTLB. |
* |
* @param physaddr Physical address of the page where the |
* device is located. Must be at least |
* page-aligned. |
* @param size Size of the device's registers. Must not |
* exceed 4M and must include extra space |
* caused by the alignment. |
* @param physaddr Physical address of the page where the device is located. |
* Must be at least page-aligned. |
* @param size Size of the device's registers. Must not exceed 4M and must |
* include extra space caused by the alignment. |
* |
* @return Virtual address of the page where the device is |
* mapped. |
* @return Virtual address of the page where the device is mapped. |
*/ |
uintptr_t hw_map(uintptr_t physaddr, size_t size) |
{ |