#include <types.h>


Go to the source code of this file.
Functions | |
| static void * | phys_to_cached (phys_addr_t paddr) |
| static void * | phys_to_uncached (phys_addr_t paddr) |
| static phys_addr_t | virt_to_phys (void *vaddr) |
Definition in file addrspace.h.
| static void* phys_to_cached | ( | phys_addr_t | paddr | ) | [inline, static] |
Convert a physical address to a virtual pointer to cacheable memory.
| paddr | A physical address. |
Definition at line 57 of file addrspace.h.
| static void* phys_to_uncached | ( | phys_addr_t | paddr | ) | [inline, static] |
Convert a physical address to a virtual pointer to non-cacheable memory.
| paddr | A physical address. |
Definition at line 68 of file addrspace.h.
| static phys_addr_t virt_to_phys | ( | void * | vaddr | ) | [inline, static] |
Convert a virtual pointer to a physical address. vaddr must contain an address in either P1 or P2, for example one returned by phys_to_cached() or phys_to_uncached().
| vaddr | A virtual address in P1 or P2. |
Definition at line 80 of file addrspace.h.
1.5.8