Searched refs:SysCtl_GetType (Results 1 – 3 of 3) sorted by relevance
68 uint64_t SysCtl_GetType(const char *node);
58 SysCtl_GetType(const char *node) in SysCtl_GetType() function
584 uint64_t scType = SysCtl_GetType(node); in Syscall_SysCtl()