int rtas_get_time_of_day(dtime *)
int rtas_start_cpu(int, thread_t, int)
int rtas_pci_config_read(long long, int, int, int, int)
int rtas_system_reboot(void)
int rtas_ibm_update_flash_64(long long, long long)
int rtas_token(const char *)
int rtas_set_time_of_day(dtime *)
int rtas_call(int, int, int, int *,...)
int rtas_ibm_update_flash_64_and_reboot(long long, long long)
int rtas_pci_config_write(long long, int, int, int, int, int)
int rtas_ibm_manage_flash(int)
typedef void(X86APIP X86EMU_intrFuncs)(int num)