14,7 → 14,7 |
|
#define PG_SW 0x003 |
#define PG_UW 0x007 |
#define PG_NOCACHE 0x018 |
#define PG_NOCACHE 0x010 |
#define PG_SHARED 0x200 |
|
|
63,18 → 63,7 |
u32_t drvEntry(int, char *)__asm__("_drvEntry"); |
|
|
#define __WARN() dbgprintf(__FILE__, __LINE__) |
|
#ifndef WARN_ON |
#define WARN_ON(condition) ({ \ |
int __ret_warn_on = !!(condition); \ |
if (unlikely(__ret_warn_on)) \ |
__WARN(); \ |
unlikely(__ret_warn_on); \ |
}) |
#endif |
|
|
static inline void *kmalloc_array(size_t n, size_t size, gfp_t flags) |
{ |
// if (size != 0 && n > SIZE_MAX / size) |