tree 0c292ef5db001eba02aaa0a7f9d00d53c06326f4
parent 7f731292f838ed796167565816d3e7dc161836cf
author Demi Marie Obenour <demiobenour@gmail.com> 1673547890 -0500
committer Demi Marie Obenour <demiobenour@gmail.com> 1685985741 -0400

fix(el3-spmc): prevent total_page_count overflow

size_t is not guaranteed to be 64 bits, although it happens to be 64
bits on all systems that el3-spmc supports.

Change-Id: Ieae11722a15448641de50233597ac35869eab574
Signed-off-by: Demi Marie Obenour <demiobenour@gmail.com>