153 void set_firmware_width_unlocked(void)  in set_firmware_width_unlocked()  argument
170 void set_firmware_width(void)  in set_firmware_width()  argument
178 void set_firmware_width_unlocked(void)  in set_firmware_width_unlocked()  argument
183 void set_firmware_width(void)  in set_firmware_width()  argument
195 void pdc_emergency_unlock(void)  in pdc_emergency_unlock()  argument
742 int pdc_stable_verify_contents(void)  in pdc_stable_verify_contents()  argument
761 int pdc_stable_initialize(void)  in pdc_stable_initialize()  argument
1020 int pdc_do_reset(void)  in pdc_do_reset()  argument
1084 void pdc_io_reset(void)  in pdc_io_reset()  argument
1102 void pdc_io_reset_devices(void)  in pdc_io_reset_devices()  argument
1161 int pdc_iodc_getc(void)  in pdc_iodc_getc()  argument