Searched defs:uefi_system_table (Results 1 – 3 of 3) sorted by relevance
506 uint64_t uefi_system_table = htobe64((uintptr_t)ST); in efi_makebootargs() local
545 uint64_t uefi_system_table = htobe64((uintptr_t)ST); in efi_makebootargs() local
610 uint64_t uefi_system_table = htobe64((uintptr_t)ST); efi_makebootargs() local