51 	void (EFIAPI *restore_tpl)(UINTN old_tpl);  member
157 	void (EFIAPI *copy_mem)(void *destination, void *source,  member
159 	void (EFIAPI *set_mem)(void *buffer, unsigned long size,  member
201 	void (EFIAPI *reset_system)(enum efi_reset_type reset_type,  member
500 	uint16_t *(EFIAPI *convert_device_node_to_text)(  member
504 	uint16_t *(EFIAPI *convert_device_path_to_text)(  member
637 	void (EFIAPI *waitforpacket)(void);  member
661 	void (EFIAPI *start)(void);  member
662 	void (EFIAPI *stop)(void);  member
663 	void (EFIAPI *dhcp)(void);  member
664 	void (EFIAPI *discover)(void);  member
665 	void (EFIAPI *mftp)(void);  member
666 	void (EFIAPI *udpwrite)(void);  member
667 	void (EFIAPI *udpread)(void);  member
668 	void (EFIAPI *setipfilter)(void);  member
669 	void (EFIAPI *arp)(void);  member
670 	void (EFIAPI *setparams)(void);  member
671 	void (EFIAPI *setstationip)(void);  member
672 	void (EFIAPI *setpackets)(void);  member