23 #define SOURCEFILE_NAME "hpios.c"
27 #include <linux/sched.h>
35 }
else if (num_micro_sec <= 2000)
38 mdelay(num_micro_sec / 1000);
54 if (p_mem_area->
vaddr) {
63 "failed to allocate %d bytes locked memory\n", size);
71 if (p_mem_area->
size) {
75 (
unsigned long)p_mem_area->
size,