set hp_det gpio

hc

2024-08-12 233ab1bd4c5697f5cdec94e60206e8c6ac609b4c

1
2
3
4
5
6
#include <xen/arm/page.h>
 
static inline bool xen_kernel_unmapped_at_usr(void)
{
    return false;
}