SET_KERNEL_2 - NetBSD

14

if (get_kernel_set() != SET_KERNEL_2)

69

set_kernel_set(SET_KERNEL_2);

58

#define EVBPPC_SET_KERNEL_NINTENDO_MP SET_KERNEL_2

72

#define SET_KERNEL_JORNADA720 SET_KERNEL_2

465

if (get_kernel_set() == SET_KERNEL_2) {

126

set_kernel_set(SET_KERNEL_2);

84

set_kernel_set(SET_KERNEL_2);

72

set_kernel_set(SET_KERNEL_2);

60

#define SET_KERNEL_C700 SET_KERNEL_2

194

#define SET_KERNEL SET_KERNEL_1, SET_KERNEL_2, SET_KERNEL_3, SET_KERNEL_4, \

97

{SET_KERNEL_2_NAME, SET_KERNEL_2, false, MSG_set_kernel_2, NULL},