test/nvmm/demo/smallkern/main.c

267

print_state(true, "TSS created");

test/nvmm/demo/smallkern/main.c

269

print_state(true, "IDT created");

test/nvmm/demo/smallkern/main.c

282

print_state(true, "APICBASE is correct");

test/nvmm/demo/smallkern/main.c

284

print_state(false, "wrong APICBASE");

test/nvmm/demo/smallkern/main.c

289

print_state(true, "PG_NX is disabled");

test/nvmm/demo/smallkern/main.c

291

print_state(false, "PG_NX is enabled!");

test/nvmm/demo/smallkern/main.c

297

print_state(true, "Running on cpu120");

test/nvmm/demo/smallkern/main.c

299

print_state(false, "Not running on cpu120!");

test/nvmm/demo/smallkern/main.c

309

print_state(true, "LAPIC information matches");

test/nvmm/demo/smallkern/main.c

311

print_state(false, "LAPIC information does not match!");

test/nvmm/demo/smallkern/smallkern.h

75

void print_state(bool, char *);

usr.sbin/pfctl/pfctl.c

1080

print_state(p, opts);

usr.sbin/pfctl/pfctl.h

114

void print_state(struct pfsync_state *, int);