Searched refs:xcall_help (Results 1 – 2 of 2) sorted by relevance
40 xcall_help(void) in xcall_help() function
998 extern void xcall_help(void);1027 { "xcall", ":", "print CPU cross-call state", xcall_dcmd, xcall_help },