Searched refs:IODTGetDefault (Results 1 – 4 of 4) sorted by relevance
| /xnu-10063.141.1/bsd/kern/ |
| H A D | hvg_sysctl.c | 142 extern int IODTGetDefault(const char *key, void *infoAddr, unsigned int infoSize ); in sysctl_vmm_present()
143 (void) IODTGetDefault("vmm-present", &vmm_present, sizeof(vmm_present)); in sysctl_vmm_present()
|
| /xnu-10063.141.1/pexpert/gen/ |
| H A D | bootargs.c | 47 extern int IODTGetDefault(const char *key, void *infoAddr, unsigned int infoSize);
546 return IODTGetDefault(property_name, property_ptr, max_property) ? FALSE : TRUE; in PE_get_default()
|
| /xnu-10063.141.1/iokit/Kernel/ |
| H A D | IODeviceTreeSupport.cpp | 52 int IODTGetDefault(const char *key, void *infoAddr, unsigned int infoSize );
379 IODTGetDefault(const char *key, void *infoAddr, unsigned int infoSize ) in IODTGetDefault() function
|
| /xnu-10063.141.1/iokit/bsddev/ |
| H A D | IOKitBSDInit.cpp | 69 extern int IODTGetDefault(const char *key, void *infoAddr, unsigned int infoSize);
|