Home
last modified time | relevance | path

Searched refs:ATS1CPW (Results 1 – 2 of 2) sorted by relevance

/xen/xen/include/asm-arm/arm32/
A Dpage.h95 WRITE_CP32(va, ATS1CPW); in gva_to_ipa_par()
/xen/xen/include/asm-arm/
A Dcpregs.h184 #define ATS1CPW p15,0,c7,c8,1 /* Address Translation Stage 1. Non-Secure Kernel Write */ macro

Completed in 4 milliseconds