mirror of
https://github.com/drasko/codezero.git
synced 2026-01-17 13:23:16 +01:00
72 lines
1.6 KiB
C
72 lines
1.6 KiB
C
#ifndef __ARM_UTCB_H__
|
|
#define __ARM_UTCB_H__
|
|
|
|
#define USER_UTCB_REF 0xFF000FF0
|
|
#define L4_KIP_ADDRESS 0xFF000000
|
|
#define UTCB_KIP_OFFSET 0xFF0
|
|
|
|
#ifndef __ASSEMBLY__
|
|
#include <l4lib/types.h>
|
|
#include <l4/macros.h>
|
|
#include INC_GLUE(message.h)
|
|
#include INC_GLUE(memory.h)
|
|
#include <string.h>
|
|
#include <stdio.h>
|
|
|
|
/*
|
|
* NOTE: In syslib.h the first few mrs are used by data frequently
|
|
* needed for all ipcs. Those mrs are defined the kernel message.h
|
|
*/
|
|
|
|
/*
|
|
* This is a per-task private structure where message registers are
|
|
* pushed for ipc. Its *not* TLS, but can be part of TLS when it is
|
|
* supported.
|
|
*/
|
|
struct utcb {
|
|
u32 mr[MR_TOTAL];
|
|
u32 saved_tag;
|
|
u32 saved_sender;
|
|
} __attribute__((__packed__));
|
|
|
|
extern struct utcb utcb;
|
|
extern void *utcb_page;
|
|
|
|
static inline struct utcb *l4_get_utcb()
|
|
{
|
|
return &utcb;
|
|
}
|
|
|
|
/* Functions to read/write utcb registers */
|
|
static inline unsigned int read_mr(int offset)
|
|
{
|
|
return l4_get_utcb()->mr[offset];
|
|
}
|
|
|
|
static inline void write_mr(unsigned int offset, unsigned int val)
|
|
{
|
|
l4_get_utcb()->mr[offset] = val;
|
|
}
|
|
|
|
/*
|
|
* Arguments that are too large to fit in message registers are
|
|
* copied onto another area that is still on the utcb, and the servers
|
|
* map-in the task utcb and read those arguments from there.
|
|
*/
|
|
|
|
static inline void copy_to_utcb(void *arg, int offset, int size)
|
|
{
|
|
BUG_ON(offset + size > PAGE_SIZE);
|
|
memcpy(utcb_page + offset, arg, size);
|
|
}
|
|
|
|
static inline void copy_from_utcb(void *buf, int offset, int size)
|
|
{
|
|
BUG_ON(offset + size > PAGE_SIZE);
|
|
memcpy(buf, utcb_page + offset, size);
|
|
}
|
|
|
|
#endif /* !__ASSEMBLY__ */
|
|
|
|
#endif /* __ARM_UTCB_H__ */
|