kernel/vga: Remove wrong lwkt_reltoken(). It's not taken at this point.
commit7ea5b312feab79358551f76f482afd5d2cca1ed8
authorSascha Wildner <saw@online.de>
Mon, 28 Dec 2015 13:41:16 +0000 (28 14:41 +0100)
committerSascha Wildner <saw@online.de>
Mon, 28 Dec 2015 13:41:16 +0000 (28 14:41 +0100)
treef57c8f89caac1bdb6945eb50d05c1e9dc08cee22
parent8f3d716552bbfc355389d0f3345156ac2519980f
kernel/vga: Remove wrong lwkt_reltoken(). It's not taken at this point.
sys/dev/video/fb/vga.c