Searched refs:uefi_system_table (Results 1 – 3 of 3) sorted by relevance
493 uint64_t uefi_system_table = htobe64((uintptr_t)ST); in efi_makebootargs() local566 &uefi_system_table, sizeof(uefi_system_table)); in efi_makebootargs()
543 uint64_t uefi_system_table = htobe64((uintptr_t)ST); in efi_makebootargs() local597 &uefi_system_table, sizeof(uefi_system_table)); in efi_makebootargs()
608 uint64_t uefi_system_table = htobe64((uintptr_t)ST); in efi_makebootargs() local674 &uefi_system_table, sizeof(uefi_system_table)); in efi_makebootargs()