/* Direct Cache Access (DCA) definitions */