vreg_init 57 kernel/arch/amd64/src/vreg.c void vreg_init(void) vreg_init 57 kernel/arch/ia32/src/vreg.c void vreg_init(void)