dtl_cache_ctor     18 arch/powerpc/include/asm/svm.h void dtl_cache_ctor(void *addr);
dtl_cache_ctor     19 arch/powerpc/include/asm/svm.h #define get_dtl_cache_ctor()	(is_secure_guest() ? dtl_cache_ctor : NULL)