Searched refs:efi_kaslr_get_phys_seed (Results 1 – 4 of 4) sorted by relevance
46 efi_kaslr_get_phys_seed(image_handle)); in handle_kernel_image()
19 u32 efi_kaslr_get_phys_seed(efi_handle_t image_handle) in efi_kaslr_get_phys_seed() function
1144 u32 efi_kaslr_get_phys_seed(efi_handle_t image_handle);