void do_the_set_registers();

void
kernel_main(void *header)
{
	do_the_set_registers(header);
}