Searched refs:nds32_flush_icache (Results 1 - 7 of 7) sorted by relevance

/vbox/src/VBox/Additions/x11/x11include/xorg-server-1.10.0/
H A Dcompiler.h1718 static __inline__ void nds32_flush_icache(char *addr) function
1729 static __inline__ void nds32_flush_icache(char *addr) function
/vbox/src/VBox/Additions/x11/x11include/xorg-server-1.11.0/
H A Dcompiler.h1718 static __inline__ void nds32_flush_icache(char *addr) function
1729 static __inline__ void nds32_flush_icache(char *addr) function
/vbox/src/VBox/Additions/x11/x11include/xorg-server-1.12.0/
H A Dcompiler.h1699 static __inline__ void nds32_flush_icache(char *addr) function
1710 static __inline__ void nds32_flush_icache(char *addr) function
/vbox/src/VBox/Additions/x11/x11include/xorg-server-1.13.0/
H A Dcompiler.h1695 nds32_flush_icache(char *addr) function
1704 nds32_flush_icache(char *addr) function
/vbox/src/VBox/Additions/x11/x11include/xorg-server-1.14.0/
H A Dcompiler.h1695 nds32_flush_icache(char *addr) function
1704 nds32_flush_icache(char *addr) function
/vbox/src/VBox/Additions/x11/x11include/xorg-server-1.15.0/
H A Dcompiler.h1695 nds32_flush_icache(char *addr) function
1704 nds32_flush_icache(char *addr) function
/vbox/src/VBox/Additions/x11/x11include/xorg-server-1.16.0/
H A Dcompiler.h1699 nds32_flush_icache(char *addr) function
1708 nds32_flush_icache(char *addr) function

Completed in 119 milliseconds