Lines Matching defs:seed
753 static void efi_get_seed(void *seed, int size)
755 efi_get_random_bytes(size, seed);
758 * This only updates seed[0] when running on 32-bit, but in that case,
759 * seed[1] is not used anyway, as there is no virtual KASLR on 32-bit.
761 *(unsigned long *)seed ^= kaslr_get_random_long("EFI");
774 u32 seed[2] = {};
784 efi_get_seed(seed, sizeof(seed));
786 virt_addr += (range * seed[1]) >> 32;
799 seed[0] = 0;
804 seed[0], EFI_LOADER_CODE,