Searched refs:uefi_system_table (Results 1 - 3 of 3) sorted by relevance

/openbsd-current/sys/arch/arm64/stand/efiboot/
H A Defiboot.c609 uint64_t uefi_system_table = htobe64((uintptr_t)ST); local
675 &uefi_system_table, sizeof(uefi_system_table));
/openbsd-current/sys/arch/armv7/stand/efiboot/
H A Defiboot.c545 uint64_t uefi_system_table = htobe64((uintptr_t)ST); local
599 &uefi_system_table, sizeof(uefi_system_table));
/openbsd-current/sys/arch/riscv64/stand/efiboot/
H A Defiboot.c506 uint64_t uefi_system_table = htobe64((uintptr_t)ST); local
579 &uefi_system_table, sizeof(uefi_system_table));

Completed in 191 milliseconds