HomeSort by: relevance | last modified time | path
    Searched refs:systbl (Results 1 - 2 of 2) sorted by relevancy

  /src/sys/arch/ia64/ia64/
efi.c 59 efi_boot_minimal(uint64_t systbl)
64 if (systbl == 0)
66 efi_systbl = (struct efi_systbl *)IA64_PHYS_TO_RR7(systbl);
  /src/sys/arch/x86/x86/
efi_machdep.c 341 struct efi_systbl *systbl; local
350 aprint_normal("efi: systbl at pa %" PRIxPADDR "\n", pa);
353 aprint_debug("efi: systbl mapped at va %" PRIxVADDR "\n", va);
398 systbl = (struct efi_systbl *) va;
401 " crc32 %" PRIx32 "\n", systbl->st_hdr.th_sig,
402 systbl->st_hdr.th_rev, systbl->st_hdr.th_crc32);
403 aprint_debug("efi: firmware revision %" PRIx32 "\n", systbl->st_fwrev);
408 aprint_debug("efi: runtime services at pa %p\n", systbl->st_rt);
409 aprint_debug("efi: boot services at pa %p\n", systbl->st_bs)
601 struct efi_systbl *systbl; local
    [all...]

Completed in 44 milliseconds