Searched refs:systab_hi (Results 1 – 1 of 1) sorted by relevance
392 uint32_t systab_hi; member968 bp->efi.systab_hi = ((unsigned long)ST) >> 32; in exit_boot()