update

[l4.git] / l4 / pkg / drivers-frst / hpet / include / hpet

diff --git a/l4/pkg/drivers-frst/hpet/include/hpet b/l4/pkg/drivers-frst/hpet/include/hpet
index 982215e8669ba2556c87edee9b27d5a98425bfbc..5d031e8255cba3afb19dcb3966ebf029888c7fd1 100644 (file)
--- a/l4/pkg/drivers-frst/hpet/include/hpet
+++ b/l4/pkg/drivers-frst/hpet/include/hpet
@@ -85,7 +85,7 @@ public:
 
 
     l4_uint32_t int_route_cap() const { return _conf_and_cap >> 32; }
-    unsigned int_avail(int int_nr) const { return int_route_cap() & int_nr; }
+    unsigned int_avail(int int_nr) const { return int_route_cap() & (1 << int_nr); }
     unsigned ints_avail() const { return int_route_cap(); }
 
     int get_first_int(int i = 0)