/*
 * Switch to User Mode and returin to function given by pointer
 * provide the address of a void func() that will be called without
 * any params.
 */

void usermode(uint32_t func);