How to software reset the MKR1000

I saw that I could do a software reset with:

void(* resetFunc) (void) = 0;

// ...
// and later calling
// ...

resetFunc();

But that doesn't seem to work on the MKR1000. Should I be using this instead:

NVIC_SystemReset();

Or is there some other way to cause a reset other than using the hardware pin?

Thanks.

NVIC_SystemReset();