Function beri_get_core

freebsd/mips/beri/beri_mp.h:33–40

 */

static inline int
beri_get_core(void)
{
	uint32_t cinfo;

	cinfo = mips_rd_cinfo();
	return (cinfo & 0xffff);
}

static inline int
beri_get_ncores(void)