lib/efi_loader/efi_device_path_utilities.c

1 // SPDX-License-Identifier: GPL-2.0+
32 	EFI_ENTRY("%pD", device_path);  in get_device_path_size()
33 	/* size includes the END node: */  in get_device_path_size()
58 	EFI_ENTRY("%pD", device_path);  in duplicate_device_path()
79 	EFI_ENTRY("%pD, %pD", src1, src2);  in append_device_path()
84  * Append device path node.
93  * @device_node		device node
100 	EFI_ENTRY("%pD, %p", device_path, device_node);  in append_device_node()
121 	EFI_ENTRY("%pD, %pD", device_path, device_path_instance);  in append_device_path_instance()
143 	EFI_ENTRY("%pD, %p", device_path_instance, device_path_instance_size);  in get_next_device_path_instance()
158  * @device_node		device node
164 	EFI_ENTRY("%pD", device_path);  in is_device_path_multi_instance()
169  * Create device node.
177  * @node_type		node type
178  * @node_sub_type	node sub type
179  * @node_length		node length
180  * @return		device path node