PERFORCE change 100672 for review

Olivier Houchard cognet at FreeBSD.org
Wed Jul 5 23:39:39 UTC 2006


http://perforce.freebsd.org/chv.cgi?CH=100672

Change 100672 by cognet at cognet on 2006/07/05 23:38:51

	Nuke i386isms from cpufunc and implement intr_restore(), intr_disable()
	and intr_enable().
	Include <machine/cpufunc.h> from atomic.h, and don't define the
	long operations twice.

Affected files ...

.. //depot/projects/mips2/src/sys/mips/include/atomic.h#2 edit
.. //depot/projects/mips2/src/sys/mips/include/cpufunc.h#2 edit

Differences ...

==== //depot/projects/mips2/src/sys/mips/include/atomic.h#2 (text+ko) ====

@@ -32,6 +32,8 @@
 #error this file needs sys/cdefs.h as a prerequisite
 #endif
 
+#include <machine/cpufunc.h>
+
 /*
  * Various simple arithmetic on memory which is atomic in the presence
  * of interrupts and multiple processors.
@@ -139,7 +141,7 @@
 static __inline u_##TYPE				\
 atomic_load_acq_##TYPE(volatile u_##TYPE *p)		\
 {							\
-	return (*p)					\
+	return (*p);					\
 }							\
 							\
 static __inline void					\
@@ -207,17 +209,6 @@
 #define	atomic_cmpset_acq_int		atomic_cmpset_int
 #define	atomic_cmpset_rel_int		atomic_cmpset_int
 
-#define	atomic_set_acq_long		atomic_set_long
-#define	atomic_set_rel_long		atomic_set_long
-#define	atomic_clear_acq_long		atomic_clear_long
-#define	atomic_clear_rel_long		atomic_clear_long
-#define	atomic_add_acq_long		atomic_add_long
-#define	atomic_add_rel_long		atomic_add_long
-#define	atomic_subtract_acq_long	atomic_subtract_long
-#define	atomic_subtract_rel_long	atomic_subtract_long
-#define	atomic_cmpset_acq_long		atomic_cmpset_long
-#define	atomic_cmpset_rel_long		atomic_cmpset_long
-
 /* Operations on 8-bit bytes. */
 #define	atomic_set_8		atomic_set_char
 #define	atomic_set_acq_8	atomic_set_acq_char
@@ -311,5 +302,4 @@
 #define	atomic_cmpset_rel_ptr	atomic_cmpset_rel_long
 #define	atomic_readandclear_ptr	atomic_readandclear_long
 
-#endif	/* !defined(WANT_FUNCTIONS) */
 #endif /* ! _MACHINE_ATOMIC_H_ */

==== //depot/projects/mips2/src/sys/mips/include/cpufunc.h#2 (text+ko) ====

@@ -1,5 +1,5 @@
 /*-
- * Copyright (c) 2003 Peter Wemm.
+ * Copyright (c) 2006 Olivier Houchard.
  * Copyright (c) 1993 The Regents of the University of California.
  * All rights reserved.
  *
@@ -31,7 +31,7 @@
  */
 
 /*
- * Functions to provide access to special i386 instructions.
+ * Functions to provide access to special mips instructions.
  * This in included in sys/systm.h, and that file should be
  * used in preference to this.
  */
@@ -39,742 +39,36 @@
 #ifndef _MACHINE_CPUFUNC_H_
 #define	_MACHINE_CPUFUNC_H_
 
-#ifndef _SYS_CDEFS_H_
-#error this file needs sys/cdefs.h as a prerequisite
-#endif
-
-struct region_descriptor;
-
-#define readb(va)	(*(volatile u_int8_t *) (va))
-#define readw(va)	(*(volatile u_int16_t *) (va))
-#define readl(va)	(*(volatile u_int32_t *) (va))
-#define readq(va)	(*(volatile u_int64_t *) (va))
-
-#define writeb(va, d)	(*(volatile u_int8_t *) (va) = (d))
-#define writew(va, d)	(*(volatile u_int16_t *) (va) = (d))
-#define writel(va, d)	(*(volatile u_int32_t *) (va) = (d))
-#define writeq(va, d)	(*(volatile u_int64_t *) (va) = (d))
-
-#if defined(__GNUCLIKE_ASM) && defined(__CC_SUPPORTS___INLINE)
-
-static __inline void
-breakpoint(void)
+static __inline register_t
+intr_disable(void)
 {
-	__asm __volatile("int $3");
-}
-
-static __inline u_int
-bsfl(u_int mask)
-{
-	u_int	result;
-
-	__asm __volatile("bsfl %1,%0" : "=r" (result) : "rm" (mask));
-	return (result);
-}
-
-static __inline u_long
-bsfq(u_long mask)
-{
-	u_long	result;
-
-	__asm __volatile("bsfq %1,%0" : "=r" (result) : "rm" (mask));
-	return (result);
-}
-
-static __inline u_int
-bsrl(u_int mask)
-{
-	u_int	result;
-
-	__asm __volatile("bsrl %1,%0" : "=r" (result) : "rm" (mask));
-	return (result);
-}
-
-static __inline u_long
-bsrq(u_long mask)
-{
-	u_long	result;
-
-	__asm __volatile("bsrq %1,%0" : "=r" (result) : "rm" (mask));
-	return (result);
+	register_t ret, tmp;
+	
+	__asm __volatile("mfc0	%0, 12\n" /* MIPS_COP_0_STATUS */
+	 		 "and	%1, %0, ~1\n" /* MIPS_SR_INT_IE */
+			 "mtc0	%1, 12\n" /* MIPS_COP_0_STATUS */
+			 : "=r" (ret), "=r" (tmp));
+	return (ret);
 }
 
 static __inline void
-disable_intr(void)
+intr_enable(void)
 {
-	__asm __volatile("cli" : : : "memory");
-}
+	register_t tmp;
 
-static __inline void
-do_cpuid(u_int ax, u_int *p)
-{
-	__asm __volatile("cpuid"
-			 : "=a" (p[0]), "=b" (p[1]), "=c" (p[2]), "=d" (p[3])
-			 :  "0" (ax));
+	__asm __volatile("mfc %0, 12\n" /* MIPS_COP_0_STATUS */
+	    		 "and %0, %0, 1\n" /* MIPS_SR_INT_IE */
+			 "mtc0 %0, 12\n" /* MIPS_COP_0_STATUS */
+			 : "=r" (tmp));
 }
 
 static __inline void
-cpuid_count(u_int ax, u_int cx, u_int *p)
+intr_restore(register_t flag)
 {
-	__asm __volatile("cpuid"
-			 : "=a" (p[0]), "=b" (p[1]), "=c" (p[2]), "=d" (p[3])
-			 :  "0" (ax), "c" (cx));
-}
 
-static __inline void
-enable_intr(void)
-{
-	__asm __volatile("sti");
-}
-
-#ifdef _KERNEL
-
-#define	HAVE_INLINE_FFS
-#define        ffs(x)  __builtin_ffs(x)
-
-#define	HAVE_INLINE_FFSL
-
-static __inline int
-ffsl(long mask)
-{
-	return (mask == 0 ? mask : (int)bsfq((u_long)mask) + 1);
-}
-
-#define	HAVE_INLINE_FLS
-
-static __inline int
-fls(int mask)
-{
-	return (mask == 0 ? mask : (int)bsrl((u_int)mask) + 1);
-}
-
-#define	HAVE_INLINE_FLSL
-
-static __inline int
-flsl(long mask)
-{
-	return (mask == 0 ? mask : (int)bsrq((u_long)mask) + 1);
-}
-
-#endif /* _KERNEL */
-
-static __inline void
-halt(void)
-{
-	__asm __volatile("hlt");
-}
-
-#if !defined(__GNUCLIKE_BUILTIN_CONSTANT_P) || __GNUCLIKE_ASM < 3
-
-#define	inb(port)		inbv(port)
-#define	outb(port, data)	outbv(port, data)
-
-#else /* __GNUCLIKE_BUILTIN_CONSTANT_P && __GNUCLIKE_ASM >= 3 */
-
-/*
- * The following complications are to get around gcc not having a
- * constraint letter for the range 0..255.  We still put "d" in the
- * constraint because "i" isn't a valid constraint when the port
- * isn't constant.  This only matters for -O0 because otherwise
- * the non-working version gets optimized away.
- * 
- * Use an expression-statement instead of a conditional expression
- * because gcc-2.6.0 would promote the operands of the conditional
- * and produce poor code for "if ((inb(var) & const1) == const2)".
- *
- * The unnecessary test `(port) < 0x10000' is to generate a warning if
- * the `port' has type u_short or smaller.  Such types are pessimal.
- * This actually only works for signed types.  The range check is
- * careful to avoid generating warnings.
- */
-#define	inb(port) __extension__ ({					\
-	u_char	_data;							\
-	if (__builtin_constant_p(port) && ((port) & 0xffff) < 0x100	\
-	    && (port) < 0x10000)					\
-		_data = inbc(port);					\
-	else								\
-		_data = inbv(port);					\
-	_data; })
-
-#define	outb(port, data) (						\
-	__builtin_constant_p(port) && ((port) & 0xffff) < 0x100		\
-	&& (port) < 0x10000						\
-	? outbc(port, data) : outbv(port, data))
-
-static __inline u_char
-inbc(u_int port)
-{
-	u_char	data;
-
-	__asm __volatile("inb %1,%0" : "=a" (data) : "id" ((u_short)(port)));
-	return (data);
-}
-
-static __inline void
-outbc(u_int port, u_char data)
-{
-	__asm __volatile("outb %0,%1" : : "a" (data), "id" ((u_short)(port)));
-}
-
-#endif /* __GNUCLIKE_BUILTIN_CONSTANT_P  && __GNUCLIKE_ASM >= 3*/
-
-static __inline u_char
-inbv(u_int port)
-{
-	u_char	data;
-	/*
-	 * We use %%dx and not %1 here because i/o is done at %dx and not at
-	 * %edx, while gcc generates inferior code (movw instead of movl)
-	 * if we tell it to load (u_short) port.
-	 */
-	__asm __volatile("inb %%dx,%0" : "=a" (data) : "d" (port));
-	return (data);
-}
-
-static __inline u_int
-inl(u_int port)
-{
-	u_int	data;
-
-	__asm __volatile("inl %%dx,%0" : "=a" (data) : "d" (port));
-	return (data);
-}
-
-static __inline void
-insb(u_int port, void *addr, size_t cnt)
-{
-	__asm __volatile("cld; rep; insb"
-			 : "+D" (addr), "+c" (cnt)
-			 : "d" (port)
-			 : "memory");
-}
-
-static __inline void
-insw(u_int port, void *addr, size_t cnt)
-{
-	__asm __volatile("cld; rep; insw"
-			 : "+D" (addr), "+c" (cnt)
-			 : "d" (port)
-			 : "memory");
-}
-
-static __inline void
-insl(u_int port, void *addr, size_t cnt)
-{
-	__asm __volatile("cld; rep; insl"
-			 : "+D" (addr), "+c" (cnt)
-			 : "d" (port)
-			 : "memory");
-}
-
-static __inline void
-invd(void)
-{
-	__asm __volatile("invd");
-}
-
-static __inline u_short
-inw(u_int port)
-{
-	u_short	data;
-
-	__asm __volatile("inw %%dx,%0" : "=a" (data) : "d" (port));
-	return (data);
-}
-
-static __inline void
-outbv(u_int port, u_char data)
-{
-	u_char	al;
-	/*
-	 * Use an unnecessary assignment to help gcc's register allocator.
-	 * This make a large difference for gcc-1.40 and a tiny difference
-	 * for gcc-2.6.0.  For gcc-1.40, al had to be ``asm("ax")'' for
-	 * best results.  gcc-2.6.0 can't handle this.
-	 */
-	al = data;
-	__asm __volatile("outb %0,%%dx" : : "a" (al), "d" (port));
-}
-
-static __inline void
-outl(u_int port, u_int data)
-{
-	/*
-	 * outl() and outw() aren't used much so we haven't looked at
-	 * possible micro-optimizations such as the unnecessary
-	 * assignment for them.
-	 */
-	__asm __volatile("outl %0,%%dx" : : "a" (data), "d" (port));
-}
-
-static __inline void
-outsb(u_int port, const void *addr, size_t cnt)
-{
-	__asm __volatile("cld; rep; outsb"
-			 : "+S" (addr), "+c" (cnt)
-			 : "d" (port));
-}
-
-static __inline void
-outsw(u_int port, const void *addr, size_t cnt)
-{
-	__asm __volatile("cld; rep; outsw"
-			 : "+S" (addr), "+c" (cnt)
-			 : "d" (port));
-}
-
-static __inline void
-outsl(u_int port, const void *addr, size_t cnt)
-{
-	__asm __volatile("cld; rep; outsl"
-			 : "+S" (addr), "+c" (cnt)
-			 : "d" (port));
-}
-
-static __inline void
-outw(u_int port, u_short data)
-{
-	__asm __volatile("outw %0,%%dx" : : "a" (data), "d" (port));
-}
-
-static __inline void
-ia32_pause(void)
-{
-	__asm __volatile("pause");
-}
-
-static __inline u_long
-read_rflags(void)
-{
-	u_long	rf;
-
-	__asm __volatile("pushfq; popq %0" : "=r" (rf));
-	return (rf);
-}
-
-static __inline u_int64_t
-rdmsr(u_int msr)
-{
-	u_int32_t low, high;
-
-	__asm __volatile("rdmsr" : "=a" (low), "=d" (high) : "c" (msr));
-	return (low | ((u_int64_t)high << 32));
-}
-
-static __inline u_int64_t
-rdpmc(u_int pmc)
-{
-	u_int32_t low, high;
-
-	__asm __volatile("rdpmc" : "=a" (low), "=d" (high) : "c" (pmc));
-	return (low | ((u_int64_t)high << 32));
-}
-
-static __inline u_int64_t
-rdtsc(void)
-{
-	u_int32_t low, high;
-
-	__asm __volatile("rdtsc" : "=a" (low), "=d" (high));
-	return (low | ((u_int64_t)high << 32));
-}
-
-static __inline void
-wbinvd(void)
-{
-	__asm __volatile("wbinvd");
-}
-
-static __inline void
-write_rflags(u_long rf)
-{
-	__asm __volatile("pushq %0;  popfq" : : "r" (rf));
-}
-
-static __inline void
-wrmsr(u_int msr, u_int64_t newval)
-{
-	u_int32_t low, high;
-
-	low = newval;
-	high = newval >> 32;
-	__asm __volatile("wrmsr" : : "a" (low), "d" (high), "c" (msr));
-}
-
-static __inline void
-load_cr0(u_long data)
-{
-
-	__asm __volatile("movq %0,%%cr0" : : "r" (data));
-}
-
-static __inline u_long
-rcr0(void)
-{
-	u_long	data;
-
-	__asm __volatile("movq %%cr0,%0" : "=r" (data));
-	return (data);
-}
-
-static __inline u_long
-rcr2(void)
-{
-	u_long	data;
-
-	__asm __volatile("movq %%cr2,%0" : "=r" (data));
-	return (data);
-}
-
-static __inline void
-load_cr3(u_long data)
-{
-
-	__asm __volatile("movq %0,%%cr3" : : "r" (data) : "memory");
-}
-
-static __inline u_long
-rcr3(void)
-{
-	u_long	data;
-
-	__asm __volatile("movq %%cr3,%0" : "=r" (data));
-	return (data);
-}
-
-static __inline void
-load_cr4(u_long data)
-{
-	__asm __volatile("movq %0,%%cr4" : : "r" (data));
-}
-
-static __inline u_long
-rcr4(void)
-{
-	u_long	data;
-
-	__asm __volatile("movq %%cr4,%0" : "=r" (data));
-	return (data);
-}
-
-/*
- * Global TLB flush (except for thise for pages marked PG_G)
- */
-static __inline void
-invltlb(void)
-{
-
-	load_cr3(rcr3());
+	__asm __volatile("mtc0 %0, 12\n" /* MIPS_COP_0_STATUS */
+	   : : "r" (flag));
 }
 
-/*
- * TLB flush for an individual page (even if it has PG_G).
- * Only works on 486+ CPUs (i386 does not have PG_G).
- */
-static __inline void
-invlpg(u_long addr)
-{
-
-	__asm __volatile("invlpg %0" : : "m" (*(char *)addr) : "memory");
-}
-
-static __inline u_int
-rfs(void)
-{
-	u_int sel;
-	__asm __volatile("movl %%fs,%0" : "=rm" (sel));
-	return (sel);
-}
-
-static __inline u_int
-rgs(void)
-{
-	u_int sel;
-	__asm __volatile("movl %%gs,%0" : "=rm" (sel));
-	return (sel);
-}
-
-static __inline u_int
-rss(void)
-{
-	u_int sel;
-	__asm __volatile("movl %%ss,%0" : "=rm" (sel));
-	return (sel);
-}
-
-static __inline void
-load_ds(u_int sel)
-{
-	__asm __volatile("movl %0,%%ds" : : "rm" (sel));
-}
-
-static __inline void
-load_es(u_int sel)
-{
-	__asm __volatile("movl %0,%%es" : : "rm" (sel));
-}
-
-#ifdef _KERNEL
-/* This is defined in <machine/specialreg.h> but is too painful to get to */
-#ifndef	MSR_FSBASE
-#define	MSR_FSBASE	0xc0000100
-#endif
-static __inline void
-load_fs(u_int sel)
-{
-	register u_int32_t fsbase __asm("ecx");
-
-	/* Preserve the fsbase value across the selector load */
-	fsbase = MSR_FSBASE;
-        __asm __volatile("rdmsr; movl %0,%%fs; wrmsr"
-            : : "rm" (sel), "c" (fsbase) : "eax", "edx");
-}
-
-#ifndef	MSR_GSBASE
-#define	MSR_GSBASE	0xc0000101
-#endif
-static __inline void
-load_gs(u_int sel)
-{
-	register u_int32_t gsbase __asm("ecx");
-
-	/*
-	 * Preserve the gsbase value across the selector load.
-	 * Note that we have to disable interrupts because the gsbase
-	 * being trashed happens to be the kernel gsbase at the time.
-	 */
-	gsbase = MSR_GSBASE;
-        __asm __volatile("pushfq; cli; rdmsr; movl %0,%%gs; wrmsr; popfq"
-            : : "rm" (sel), "c" (gsbase) : "eax", "edx");
-}
-#else
-/* Usable by userland */
-static __inline void
-load_fs(u_int sel)
-{
-	__asm __volatile("movl %0,%%fs" : : "rm" (sel));
-}
-
-static __inline void
-load_gs(u_int sel)
-{
-	__asm __volatile("movl %0,%%gs" : : "rm" (sel));
-}
-#endif
-
-static __inline void
-lidt(struct region_descriptor *addr)
-{
-	__asm __volatile("lidt (%0)" : : "r" (addr));
-}
-
-static __inline void
-lldt(u_short sel)
-{
-	__asm __volatile("lldt %0" : : "r" (sel));
-}
-
-static __inline void
-ltr(u_short sel)
-{
-	__asm __volatile("ltr %0" : : "r" (sel));
-}
-
-static __inline u_int64_t
-rdr0(void)
-{
-	u_int64_t data;
-	__asm __volatile("movq %%dr0,%0" : "=r" (data));
-	return (data);
-}
-
-static __inline void
-load_dr0(u_int64_t dr0)
-{
-	__asm __volatile("movq %0,%%dr0" : : "r" (dr0));
-}
-
-static __inline u_int64_t
-rdr1(void)
-{
-	u_int64_t data;
-	__asm __volatile("movq %%dr1,%0" : "=r" (data));
-	return (data);
-}
-
-static __inline void
-load_dr1(u_int64_t dr1)
-{
-	__asm __volatile("movq %0,%%dr1" : : "r" (dr1));
-}
-
-static __inline u_int64_t
-rdr2(void)
-{
-	u_int64_t data;
-	__asm __volatile("movq %%dr2,%0" : "=r" (data));
-	return (data);
-}
-
-static __inline void
-load_dr2(u_int64_t dr2)
-{
-	__asm __volatile("movq %0,%%dr2" : : "r" (dr2));
-}
-
-static __inline u_int64_t
-rdr3(void)
-{
-	u_int64_t data;
-	__asm __volatile("movq %%dr3,%0" : "=r" (data));
-	return (data);
-}
-
-static __inline void
-load_dr3(u_int64_t dr3)
-{
-	__asm __volatile("movq %0,%%dr3" : : "r" (dr3));
-}
-
-static __inline u_int64_t
-rdr4(void)
-{
-	u_int64_t data;
-	__asm __volatile("movq %%dr4,%0" : "=r" (data));
-	return (data);
-}
-
-static __inline void
-load_dr4(u_int64_t dr4)
-{
-	__asm __volatile("movq %0,%%dr4" : : "r" (dr4));
-}
-
-static __inline u_int64_t
-rdr5(void)
-{
-	u_int64_t data;
-	__asm __volatile("movq %%dr5,%0" : "=r" (data));
-	return (data);
-}
-
-static __inline void
-load_dr5(u_int64_t dr5)
-{
-	__asm __volatile("movq %0,%%dr5" : : "r" (dr5));
-}
-
-static __inline u_int64_t
-rdr6(void)
-{
-	u_int64_t data;
-	__asm __volatile("movq %%dr6,%0" : "=r" (data));
-	return (data);
-}
-
-static __inline void
-load_dr6(u_int64_t dr6)
-{
-	__asm __volatile("movq %0,%%dr6" : : "r" (dr6));
-}
-
-static __inline u_int64_t
-rdr7(void)
-{
-	u_int64_t data;
-	__asm __volatile("movq %%dr7,%0" : "=r" (data));
-	return (data);
-}
-
-static __inline void
-load_dr7(u_int64_t dr7)
-{
-	__asm __volatile("movq %0,%%dr7" : : "r" (dr7));
-}
-
-static __inline register_t
-intr_disable(void)
-{
-	register_t rflags;
-
-	rflags = read_rflags();
-	disable_intr();
-	return (rflags);
-}
-
-static __inline void
-intr_restore(register_t rflags)
-{
-	write_rflags(rflags);
-}
-
-#else /* !(__GNUCLIKE_ASM && __CC_SUPPORTS___INLINE) */
-
-int	breakpoint(void);
-u_int	bsfl(u_int mask);
-u_int	bsrl(u_int mask);
-void	disable_intr(void);
-void	do_cpuid(u_int ax, u_int *p);
-void	enable_intr(void);
-void	halt(void);
-void	ia32_pause(void);
-u_char	inb(u_int port);
-u_int	inl(u_int port);
-void	insb(u_int port, void *addr, size_t cnt);
-void	insl(u_int port, void *addr, size_t cnt);
-void	insw(u_int port, void *addr, size_t cnt);
-register_t	intr_disable(void);
-void	intr_restore(register_t rf);
-void	invd(void);
-void	invlpg(u_int addr);
-void	invltlb(void);
-u_short	inw(u_int port);
-void	lidt(struct region_descriptor *addr);
-void	lldt(u_short sel);
-void	load_cr0(u_long cr0);
-void	load_cr3(u_long cr3);
-void	load_cr4(u_long cr4);
-void	load_dr0(u_int64_t dr0);
-void	load_dr1(u_int64_t dr1);
-void	load_dr2(u_int64_t dr2);
-void	load_dr3(u_int64_t dr3);
-void	load_dr4(u_int64_t dr4);
-void	load_dr5(u_int64_t dr5);
-void	load_dr6(u_int64_t dr6);
-void	load_dr7(u_int64_t dr7);
-void	load_fs(u_int sel);
-void	load_gs(u_int sel);
-void	ltr(u_short sel);
-void	outb(u_int port, u_char data);
-void	outl(u_int port, u_int data);
-void	outsb(u_int port, const void *addr, size_t cnt);
-void	outsl(u_int port, const void *addr, size_t cnt);
-void	outsw(u_int port, const void *addr, size_t cnt);
-void	outw(u_int port, u_short data);
-u_long	rcr0(void);
-u_long	rcr2(void);
-u_long	rcr3(void);
-u_long	rcr4(void);
-u_int64_t rdmsr(u_int msr);
-u_int64_t rdpmc(u_int pmc);
-u_int64_t rdr0(void);
-u_int64_t rdr1(void);
-u_int64_t rdr2(void);
-u_int64_t rdr3(void);
-u_int64_t rdr4(void);
-u_int64_t rdr5(void);
-u_int64_t rdr6(void);
-u_int64_t rdr7(void);
-u_int64_t rdtsc(void);
-u_int	read_rflags(void);
-u_int	rfs(void);
-u_int	rgs(void);
-void	wbinvd(void);
-void	write_rflags(u_int rf);
-void	wrmsr(u_int msr, u_int64_t newval);
-
-#endif	/* __GNUCLIKE_ASM && __CC_SUPPORTS___INLINE */
-
-void	reset_dbregs(void);
 
 #endif /* !_MACHINE_CPUFUNC_H_ */


More information about the p4-projects mailing list