OpenGrok
| Home | Sort by relevance Sort by last modified time |
Searched refs:TIMER_EFI (Results 1 -
2 of 2) sorted by null
Completed in 513 milliseconds
| /external/syslinux/gpxe/src/include/gpxe/efi/ | |
| efi_timer.h | 12 #ifdef TIMER_EFI |
| /external/syslinux/gpxe/src/config/defaults/ | |
| efi.h | 14 #define TIMER_EFI |
Completed in 513 milliseconds
