static int ps_test(char *name, int color, int debug_mode, int nt, gtest tst)
{int ok;
long sc;
PG_device *dev;
ok = TRUE;
sc = test_check(name, -1L, debug_mode);
register_devices();
if (color)
dev = PG_make_device("PS", "COLOR", name);
else
dev = PG_make_device("PS", "MONOCHROME PORTRAIT", name);
PG_open_device(dev, 0.0, 0.0, 0.0, 0.0);
ok &= (*tst)(dev);
PG_close_device(dev);
PG_rl_all();
sc = test_check(name, 1L, debug_mode);
SC_ASSERT(sc == TRUE);
return(ok);}
static void devtree_machine_init(ram_addr_t ram_size, int vga_ram_size,
const char *boot_device, DisplayState *ds,
const char *kernel_filename, const char *kernel_cmdline,
const char *initrd_filename, const char *cpu_model)
{
cpu_device_register();
register_devices();
parse_devtree(devtree_machine.name);
/* FIXME: Get these values from device tree. */
cpu_bootstrap(kernel_filename, kernel_cmdline, initrd_filename);
}