call_nodat
rc = call_nodat(1, int, purgatory, int, 0);
call_nodat(3, void, (relocate_kernel_t)data_mover,
call_nodat(1, int, purgatory, int, 1);