Hi Stefano, On 23/06/2025 00:26, Stefano Stabellini wrote:
On Sun, 22 Jun 2025, Koichiro Den wrote:
> If so, then we should have a check here and return "not supported" for
32-bit callers.
We already have a generic check to confirm 32-bit domain are not using the 64-bit convention. See [1]. So no need for a per-call one.
Cheers,[1] https://xenbits.xen.org/gitweb/?p=xen.git;a=blob;f=xen/arch/arm/vsmc.c;h=6081f14ed0c195306029c5aba7309bee44193fa4;hb=HEAD#l272
-- Julien Grall
