From 91fd2e5e6a0fab87eae469dab1abfa82822d2e64 Mon Sep 17 00:00:00 2001 From: Lephe Date: Thu, 18 Jun 2020 22:12:08 +0200 Subject: [PATCH] core: fix erroneous VBR address choice in gint_switch() This one never worked even by accident, it just went untested for a couple hours. --- src/core/setup.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/core/setup.c b/src/core/setup.c index e1d4f17..de4cc91 100644 --- a/src/core/setup.c +++ b/src/core/setup.c @@ -224,7 +224,7 @@ void gint_switch(void (*function)(void)) { if(drv->wait) drv->wait(); } - gint_setvbr((uint32_t)&gint_vbr, gint_switch_in); + gint_setvbr(gint_vbr, gint_switch_in); } int __Timer_Install(int id, void (*handler)(void), int delay);