Searched refs:ntv_getcr4_xc (Results 1 – 1 of 1) sorted by relevance
735 ntv_getcr4_xc(xc_arg_t arg1, xc_arg_t arg2, xc_arg_t arg3) in ntv_getcr4_xc() function752 (void) call_func_ntv(cp->cpu_id, ntv_getcr4_xc, (xc_arg_t)&val, 0); in ntv_getcr4()