Searched refs:VIDEO_TYPE_EFI (Results 1 - 1 of 1) sorted by relevance
/barrelfish-master/kernel/include/arch/k1om/kernel_boot_param/ | ||
H A D | screen_info.h | 83 #define VIDEO_TYPE_EFI 0x70 /* EFI graphic mode */ macro |
Completed in 173 milliseconds