efi_device_path_protocol_t
efi_device_path_protocol_t header;
const efi_device_path_protocol_t *file_path_list;
header = *(const efi_device_path_protocol_t *)pos;
efi_device_path_protocol_t *dp;
dp = (efi_device_path_protocol_t *)&initrd_dev_path;
efi_device_path_protocol_t *,
const efi_device_path_protocol_t *file_path_list;
const efi_device_path_protocol_t *,
const efi_device_path_protocol_t *,
efi_device_path_protocol_t *
efi_device_path_protocol_t *
efi_device_path_protocol_t **,
efi_device_path_protocol_t *,
efi_device_path_protocol_t *initrd_dp;