hw/spapr_rtas.c@register_core_rtas;
hw/spapr_rtas.c@rtas_display_character;
hw/spapr_hcall.c@hypercall_init;
hw/spapr_hcall.c@h_set_dabr;
hw/spapr_rtas.c@rtas_power_off;
hw/spapr.c@spapr_create_fdt;
hw/spapr_rtas.c@spapr_rtas_call;
hw/spapr_rtas.c@rtas_get_time_of_day;
