Searched refs:kernel_do_post (Results 1 – 3 of 3) sorted by relevance
131 kern_return_t kernel_do_post(void);
333 kernel_do_post() in kernel_do_post() function
798 result = kernel_do_post(); in kernel_bootstrap_thread()