tree 8e6ef08f71c89b24991d38120c2f016c96afcbf1
parent 2a11c2a84616aafe3045a139f8762002190e8073
author Szymon Duchniewicz <szymon.duchniewicz.20@ucl.ac.uk> 1713320314 +0100
committer Sam Leffler <sleffler@google.com> 1713890055 -0700

BUG: sel4sys: size_bits() returning wrong value for seL4_NotificationObject.
* instead of returning seL4_NotificationBits it returned seL4_NotificationBits

Change-Id: I9a59e8ce921a033a52ba2ed193c6d267cbfa1419
(cherry picked from commit 609991e1a560f48b1d67dbd61cacec366036facc)