void __attribute((noload, far, address(0x7FFFFC))) bootloader_reset(void) 
{ 
asm volatile ("nop"); 
}
//
// Call the function as follows: void main() { bootloader_reset(); }
//