425  * @hpa: The HPA of the module for the iodc read.
430  * This PDC call reads from the IODC of the module specified by the hpa
433 int pdc_iodc_read(unsigned long *actcnt, unsigned long hpa, unsigned int index,  in pdc_iodc_read()  argument
440 	retval = mem_pdc_call(PDC_IODC, PDC_IODC_READ, __pa(pdc_result), hpa,   in pdc_iodc_read()
779  * @hpa: The network device HPA.
783 int pdc_lan_station_id(char *lan_addr, unsigned long hpa)  in pdc_lan_station_id()  argument
790 			__pa(pdc_result), hpa);  in pdc_lan_station_id()
985  * @hpa: The HPA for the device.
991 int pdc_pci_irt_size(unsigned long *num_entries, unsigned long hpa)  in pdc_pci_irt_size()  argument
998 			      __pa(pdc_result), hpa);  in pdc_pci_irt_size()
1009  * @hpa: The Hard Physical Address of the device.
1012  * Get the PCI interrupt routing table for the device at the given HPA.
1015 int pdc_pci_irt(unsigned long num_entries, unsigned long hpa, void *tbl)  in pdc_pci_irt()  argument
1025 			      __pa(pdc_result), hpa, __pa(tbl));  in pdc_pci_irt()
1036  * @hpa: Token from PDC to indicate which PCI device
1041 unsigned int pdc_pci_config_read(void *hpa, unsigned long cfg_addr)
1050 			      __pa(pdc_result), hpa, cfg_addr&~3UL, 4UL);
1059  * @hpa: Token from PDC to indicate which PCI device
1065 void pdc_pci_config_write(void *hpa, unsigned long cfg_addr, unsigned int val)
1073 			      __pa(pdc_result), hpa,
1385 		(unsigned long)PAGE0->mem_cons.hpa, ENTRY_IO_COUT,  in pdc_iodc_print()
1413 		    (unsigned long)PAGE0->mem_kbd.hpa, ENTRY_IO_CIN,  in pdc_iodc_getc()
1535  * @hpa: The Hard Physical Address of the CPU.
1537  * Retrieve the cpu number for the cpu at the specified HPA.
1539 int pdc_pat_cpu_get_number(struct pdc_pat_cpu_num *cpu_info, unsigned long hpa)  in pdc_pat_cpu_get_number()  argument
1546 			      __pa(&pdc_result), hpa);  in pdc_pat_cpu_get_number()