Symbol: vmmcall
test/nvmm/demo/smallkern/main.c
317
vmmcall();
test/nvmm/demo/smallkern/smallkern.h
89
void vmmcall(void);