Andrew Turner 100a6d1905 Use int for the pcpu_ssbd argument. This is included from userland and may
not include the needed headers to get the bool definition.

Reported by:	manu
Pointy hat to:	andrew
Sponsored by:	DARPA, AFRL
2018-07-31 15:08:02 +00:00
..
2018-05-28 21:05:00 +00:00
2017-07-01 05:35:29 +00:00
2017-06-27 16:30:01 +00:00
2018-05-23 15:43:35 +00:00
2016-05-19 14:00:18 +00:00