What options can be passed to IOService::Terminate in DriverKit

Question

virtual kern_return_t IOService::Terminate(uint64_t options) says you can pass a parameter with options. I wonder what the different options are? The documentation does not