Searched refs:ntv_setcr4_xc (Results 1 – 1 of 1) sorted by relevance
759 ntv_setcr4_xc(xc_arg_t arg1, xc_arg_t arg2, xc_arg_t arg3) in ntv_setcr4_xc() function775 (void) call_func_ntv(cp->cpu_id, ntv_setcr4_xc, (xc_arg_t)val, 0); in ntv_setcr4()