Searched refs:__do_hyp_init (Results 1 – 2 of 2) sorted by relevance
41 ventry __do_hyp_init // Synchronous 64-bit EL160 __do_hyp_init: label
66 W(b) __do_hyp_init70 __do_hyp_init: label