| Home | Sort by: relevance | last modified time | path |
| /src/sys/arch/x86/include/ | |
| efi.h | 209 uint32_t st_bs; /* = 0 */ member in struct:efi_systbl32 232 uint64_t st_bs; /* = 0 */ member in struct:efi_systbl64 |
| /src/sys/dev/efi/ | |
| efi.h | 181 void *st_bs; member in struct:efi_systbl |
| /src/sys/arch/x86/x86/ | |
| efi_machdep.c | 372 systbl32->st_bs); 391 systbl64->st_bs); 409 aprint_debug("efi: boot services at pa %p\n", systbl->st_bs); |
| multiboot2.c | 135 efi_bs = efi_systbl->st_bs; |
| /src/sys/arch/ia64/stand/ia64/ski/ | |
| efi_stub.c | 121 .st_bs = NULL, |