Lines Matching refs:task_get_special_port
5009 PRE(task_get_special_port)
5023 PRINT("task_get_special_port(%s, TASK_KERNEL_PORT)",
5027 PRINT("task_get_special_port(%s, TASK_HOST_PORT)",
5031 PRINT("task_get_special_port(%s, TASK_BOOTSTRAP_PORT)",
5037 PRINT("task_get_special_port(%s, TASK_WIRED_LEDGER_PORT)",
5041 PRINT("task_get_special_port(%s, TASK_PAGED_LEDGER_PORT)",
5046 PRINT("task_get_special_port(%s, %d)",
5051 MACH_ARG(task_get_special_port.which_port) = req->which_port;
5053 AFTER = POST_FN(task_get_special_port);
5056 POST(task_get_special_port)
5072 switch (MACH_ARG(task_get_special_port.which_port)) {
6971 CALL_PRE(task_get_special_port);