Searched refs:EckdStage1b (Results 1 – 2 of 2) sorted by relevance
287 typedef struct EckdStage1b { struct291 } __attribute__ ((packed)) EckdStage1b; typedef
228 EckdStage1b *s1b = (void *)sec; in eckd_get_boot_menu_index()