Searched refs:halt_avp (Results 1 – 3 of 3) sorted by relevance
52 halt_avp(); in jump_to_image_no_args()
69 void halt_avp(void) __attribute__ ((noreturn));
407 void halt_avp(void) in halt_avp() function