Symbol: efi_set_systbl
stand/kboot/include/efi.h
20
void efi_set_systbl(uint64_t tbl);
stand/kboot/kboot/arch/aarch64/load_addr.c
51
efi_set_systbl(fdt64_to_cpu(*u64p));
stand/kboot/kboot/arch/amd64/load_addr.c
90
efi_set_systbl(systbl);