While Qualcomm Snapdragon X Elite (X1E80100) claims to support 32 device-id
authorpatrick <patrick@openbsd.org>
Sun, 23 Jun 2024 21:58:34 +0000 (21:58 +0000)
committerpatrick <patrick@openbsd.org>
Sun, 23 Jun 2024 21:58:34 +0000 (21:58 +0000)
commit2679ff7fc59fbe0363d63a59398ec0a48376e068
treec6ae38fd3f12498706d1c0956659eecbb4e5d9b2
parent3fe0bd1a994b92f835ed79b4c99bf1aab23ddbfb
While Qualcomm Snapdragon X Elite (X1E80100) claims to support 32 device-id
bits, it only seems to allow a 4k pagesize with 8 bytes per entry.  This is
not enough to handle all 32 device-id bits, but we also don't necessarily
need to handle all of them.  Hence clamp down the number of maximum device
IDs to as much as we can possibly configure in hardware.

ok kettenis@
sys/arch/arm64/dev/agintc.c