Searched refs:lkdtm_DOUBLE_FAULT (Results 1 – 2 of 2) sorted by relevance
85 void lkdtm_DOUBLE_FAULT(void);
442 void lkdtm_DOUBLE_FAULT(void) in lkdtm_DOUBLE_FAULT() function