mach_get_soft_state
mach_get_soft_state(&soft_state_saved_state,
extern void mach_get_soft_state(uint64_t *state,