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

  /src/sys/arch/x86/x86/
efi_machdep.c 341 struct efi_systbl *systbl; local in function:efi_getsystbl
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 in function:efi_runtime_init
    [all...]
efi_machdep.c 341 struct efi_systbl *systbl; local in function:efi_getsystbl
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 in function:efi_runtime_init
    [all...]

Completed in 38 milliseconds