x86: Rename PHYS_ADDR/VIRT_ADDR to paddr_t/vaddr_t

Change-Id: I8e037278f2f1d409360c52276cb4dae87b9ad440
Signed-off-by: Benjamin Walsh <benjamin.walsh@windriver.com>
This commit is contained in:
Benjamin Walsh 2015-09-18 15:53:53 -04:00 committed by Anas Nashif
commit b7875a0bc8
4 changed files with 4 additions and 5 deletions

View file

@ -44,7 +44,7 @@
* @return N/A * @return N/A
*/ */
void _SysCacheFlush(VIRT_ADDR virt, size_t size) void _SysCacheFlush(vaddr_t virt, size_t size)
{ {
int end; int end;

View file

@ -36,7 +36,7 @@ This module contains functions for manipulating caches.
* *
* C signature: * C signature:
* *
* void _SysCacheFlush (VIRT_ADDR virt, size_t size) * void _SysCacheFlush (vaddr_t virt, size_t size)
* *
* Both parameters are ignored in this implementation. * Both parameters are ignored in this implementation.
* *

View file

@ -19,7 +19,7 @@
#ifndef _x86_addr_types__h_ #ifndef _x86_addr_types__h_
#define _x86_addr_types__h_ #define _x86_addr_types__h_
typedef unsigned int PHYS_ADDR; typedef unsigned int paddr_t;
typedef unsigned int VIRT_ADDR; typedef unsigned int vaddr_t;
#endif /* _x86_addr_types__h_ */ #endif /* _x86_addr_types__h_ */

View file

@ -115,7 +115,6 @@ extern int __data_num_words[];
/* end address of image. */ /* end address of image. */
extern char _end[]; extern char _end[];
#define _END_VPAGE (VIRT_ADDR) _end
#endif /* ! _ASMLANGUAGE */ #endif /* ! _ASMLANGUAGE */