drivers/hv/mshv_eventfd.c

164

if (hv_scheduler_type != HV_SCHEDULER_TYPE_ROOT)

drivers/hv/mshv_root.h

364

extern enum hv_scheduler_type hv_scheduler_type;

drivers/hv/mshv_root_main.c

1750

if (hv_scheduler_type == HV_SCHEDULER_TYPE_ROOT)

drivers/hv/mshv_root_main.c

2077

static const char *scheduler_type_to_string(enum hv_scheduler_type type)

drivers/hv/mshv_root_main.c

2093

static int __init l1vh_retrieve_scheduler_type(enum hv_scheduler_type *out)

drivers/hv/mshv_root_main.c

2117

static int __init hv_retrieve_scheduler_type(enum hv_scheduler_type *out)

drivers/hv/mshv_root_main.c

2151

ret = l1vh_retrieve_scheduler_type(&hv_scheduler_type);

drivers/hv/mshv_root_main.c

2153

ret = hv_retrieve_scheduler_type(&hv_scheduler_type);

drivers/hv/mshv_root_main.c

2158

scheduler_type_to_string(hv_scheduler_type));

drivers/hv/mshv_root_main.c

2160

switch (hv_scheduler_type) {

drivers/hv/mshv_root_main.c

2169

hv_scheduler_type);

drivers/hv/mshv_root_main.c

2217

if (hv_scheduler_type != HV_SCHEDULER_TYPE_ROOT)

drivers/hv/mshv_root_main.c

2251

if (hv_scheduler_type != HV_SCHEDULER_TYPE_ROOT)

drivers/hv/mshv_root_main.c

51

enum hv_scheduler_type hv_scheduler_type;

drivers/hv/mshv_root_main.c

685

if (hv_scheduler_type == HV_SCHEDULER_TYPE_ROOT)