Re: [PATCH v3 04/32] Mini-OS: add EXPORT_SYMBOL() instances to hypervisor.c

[Samuel Thibault <samuel.thibault@xxxxxxxxxxxx>]

Juergen Gross, le lun. 27 nov. 2023 11:24:55 +0100, a ecrit:
> Add the needed instances of EXPORT_SYMBOL() to hypervisor.c.
> 
> Signed-off-by: Juergen Gross <jgross@xxxxxxxx>

Reviewed-by: Samuel Thibault <samuel.thibault@xxxxxxxxxxxx>

> ---
> V3:
> - new patch
> ---
>  hypervisor.c | 5 +++++
>  1 file changed, 5 insertions(+)
> 
> diff --git a/hypervisor.c b/hypervisor.c
> index d3857e70..f2cbbc1c 100644
> --- a/hypervisor.c
> +++ b/hypervisor.c
> @@ -31,6 +31,8 @@
>  #include <mini-os/events.h>
>  #include <xen/memory.h>
>  
> +EXPORT_SYMBOL(hypercall_page);
> +
>  #define active_evtchns(cpu,sh,idx)              \
>      ((sh)->evtchn_pending[idx] &                \
>       ~(sh)->evtchn_mask[idx])
> @@ -157,6 +159,7 @@ inline void mask_evtchn(uint32_t port)
>      shared_info_t *s = HYPERVISOR_shared_info;
>      synch_set_bit(port, &s->evtchn_mask[0]);
>  }
> +EXPORT_SYMBOL(mask_evtchn);
>  
>  inline void unmask_evtchn(uint32_t port)
>  {
> @@ -180,9 +183,11 @@ inline void unmask_evtchn(uint32_t port)
>              force_evtchn_callback();
>      }
>  }
> +EXPORT_SYMBOL(unmask_evtchn);
>  
>  inline void clear_evtchn(uint32_t port)
>  {
>      shared_info_t *s = HYPERVISOR_shared_info;
>      synch_clear_bit(port, &s->evtchn_pending[0]);
>  }
> +EXPORT_SYMBOL(clear_evtchn);
> -- 
> 2.35.3
> 

-- 
Samuel
---
Pour une évaluation indépendante, transparente et rigoureuse !
Je soutiens la Commission d'Évaluation de l'Inria.