Lines Matching defs:seed
799 static void efi_get_seed(void *seed, int size)
801 efi_get_random_bytes(size, seed);
804 * This only updates seed[0] when running on 32-bit, but in that case,
805 * seed[1] is not used anyway, as there is no virtual KASLR on 32-bit.
807 *(unsigned long *)seed ^= kaslr_get_random_long("EFI");
841 u32 seed[2] = {};
853 efi_get_seed(seed, sizeof(seed));
855 virt_addr += (range * seed[1]) >> 32;
868 seed[0] = 0;
872 seed[0] = 0;
879 seed[0], EFI_LOADER_CODE,