invlrng_handler
invlrng_handler(smp_tlb_addr1, smp_tlb_addr2);
void invlrng_handler(void);
invlrng_handler();