- d -

• DB_IRQ_FLAGS : vgic-v4.c
• DBG_BCR_BVR_WCR_WVR : sys_regs.c
• DBG_BCR_BVR_WCR_WVR_EL1 : sys_regs.c
• DBGBXVR : sys_regs.c
• DEBUG_SPINLOCK_BUG_ON : vgic.h
• DECLARE_REG : trap_handler.h
• DEFINE_HYP_SPINLOCK : spinlock.h
• DFSR_FSC_EXTABT_LPAE : inject_fault.c
• DFSR_FSC_EXTABT_nLPAE : inject_fault.c
• DFSR_LPAE : inject_fault.c