Searched refs:lkdtm_DOUBLE_FAULT (Results 1 – 2 of 2) sorted by relevance
| /Linux-v5.10/drivers/misc/lkdtm/ | ||
| D | lkdtm.h | 33 void lkdtm_DOUBLE_FAULT(void); |
| D | bugs.c | 409 void lkdtm_DOUBLE_FAULT(void) in lkdtm_DOUBLE_FAULT() function |
Searched refs:lkdtm_DOUBLE_FAULT (Results 1 – 2 of 2) sorted by relevance
| /Linux-v5.10/drivers/misc/lkdtm/ | ||
| D | lkdtm.h | 33 void lkdtm_DOUBLE_FAULT(void); |
| D | bugs.c | 409 void lkdtm_DOUBLE_FAULT(void) in lkdtm_DOUBLE_FAULT() function |