/**
* Common code for copying and minting except the mint flag and param passing
*/
struct sysret
sys_copy_or_mint(struct capability *root, capaddr_t destcn_cptr, cslot_t dest_slot,
capaddr_t source_cptr, int destcn_vbits, int source_vbits,
uintptr_t param1, uintptr_t param2, bool mint)
{
errval_t err;
if (!mint) {
param1 = param2 = 0;
}
/* Lookup source cap */
struct cte *src_cap;
err = caps_lookup_slot(root, source_cptr, source_vbits,
&src_cap, CAPRIGHTS_READ);
if (err_is_fail(err)) {
return SYSRET(err_push(err, SYS_ERR_SOURCE_CAP_LOOKUP));
}
/* Lookup destination cnode cap */
struct cte *dest_cnode_cap;
err = caps_lookup_slot(root, destcn_cptr, destcn_vbits,
&dest_cnode_cap, CAPRIGHTS_READ_WRITE);
if (err_is_fail(err)) {
return SYSRET(err_push(err, SYS_ERR_DEST_CNODE_LOOKUP));
}
/* Perform copy */
if (dest_cnode_cap->cap.type == ObjType_CNode) {
return SYSRET(caps_copy_to_cnode(dest_cnode_cap, dest_slot, src_cap,
mint, param1, param2));
} else {
return SYSRET(SYS_ERR_DEST_TYPE_INVALID);
}
}
struct sysret sys_monitor_delete_last(capaddr_t root_addr, uint8_t root_bits,
capaddr_t target_addr, uint8_t target_bits,
capaddr_t ret_cn_addr, uint8_t ret_cn_bits,
cslot_t ret_slot)
{
errval_t err;
struct cte *target;
err = sys_double_lookup(root_addr, root_bits, target_addr, target_bits, &target);
if (err_is_fail(err)) {
printf("%s: root_addr: %"PRIxCADDR", root_bits: %"PRIu8
", target_addr: %"PRIxCADDR", target_bits: %"PRIu8"\n",
__FUNCTION__, root_addr, root_bits, target_addr, target_bits);
printf("%s: error in double_lookup: %"PRIxERRV"\n", __FUNCTION__, err);
return SYSRET(err);
}
struct capability *retcn;
err = caps_lookup_cap(&dcb_current->cspace.cap, ret_cn_addr, ret_cn_bits, &retcn, CAPRIGHTS_WRITE);
if (err_is_fail(err)) {
return SYSRET(err_push(err, SYS_ERR_DEST_CNODE_LOOKUP));
}
if (retcn->type != ObjType_CNode) {
return SYSRET(SYS_ERR_DEST_CNODE_INVALID);
}
if (ret_slot > (1<<retcn->u.cnode.bits)) {
return SYSRET(SYS_ERR_SLOTS_INVALID);
}
struct cte *retslot = caps_locate_slot(retcn->u.cnode.cnode, ret_slot);
return SYSRET(caps_delete_last(target, retslot));
}
/**
* \param root Root CNode to invoke
* \param source_cptr Source capability cptr
* \param type Type to retype to
* \param objbits Object bits for variable-sized types
* \param dest_cnode_cptr Destination cnode cptr
* \param dest_slot Destination slot number
* \param dest_vbits Valid bits in destination cnode cptr
*/
struct sysret
sys_retype(struct capability *root, capaddr_t source_cptr, enum objtype type,
uint8_t objbits, capaddr_t dest_cnode_cptr, cslot_t dest_slot,
uint8_t dest_vbits, bool from_monitor)
{
errval_t err;
/* Parameter checking */
if (type == ObjType_Null || type >= ObjType_Num) {
return SYSRET(SYS_ERR_ILLEGAL_DEST_TYPE);
}
/* Source capability */
struct cte *source_cap;
err = caps_lookup_slot(root, source_cptr, CPTR_BITS, &source_cap,
CAPRIGHTS_READ);
if (err_is_fail(err)) {
return SYSRET(err_push(err, SYS_ERR_SOURCE_CAP_LOOKUP));
}
assert(source_cap != NULL);
/* Destination cnode */
struct capability *dest_cnode_cap;
err = caps_lookup_cap(root, dest_cnode_cptr, dest_vbits,
&dest_cnode_cap, CAPRIGHTS_READ_WRITE);
if (err_is_fail(err)) {
return SYSRET(err_push(err, SYS_ERR_DEST_CNODE_LOOKUP));
}
if (dest_cnode_cap->type != ObjType_CNode) {
return SYSRET(SYS_ERR_DEST_CNODE_INVALID);
}
return SYSRET(caps_retype(type, objbits, dest_cnode_cap, dest_slot,
source_cap, from_monitor));
}
struct sysret ipi_raise_notify(coreid_t coreid, uintptr_t chanid)
{
char *notify_page = (char *)local_phys_to_mem(global->notify[coreid]);
if (notify_page == NULL || coreid >= MAX_COREID) {
printf("UMPNOTIFY ERROR!\n");
return SYSRET(SYS_ERR_ILLEGAL_INVOCATION);
}
// Locate our private notification fifo and head ptr
volatile uint64_t *fifo = (void *)¬ify_page[my_arch_id * NOTIFY_FIFO_BYTES];
uint64_t slot = notifyhead[coreid] % NOTIFY_FIFO_SIZE;
// Make sure the next slot is empty
if (fifo[slot] != 0) {
panic("FULL");
}
// Update notify fifo
fifo[slot] = (uint64_t)chanid;
notifyhead[coreid]++;
// Send IPI to dest kernel
apic_send_std_ipi(coreid, xapic_none, APIC_INTER_CORE_VECTOR);
return SYSRET(SYS_ERR_OK);
}
struct sysret sys_monitor_delete_foreigns(capaddr_t cptr, uint8_t bits)
{
errval_t err;
struct cte *cte;
err = caps_lookup_slot(&dcb_current->cspace.cap, cptr, bits, &cte, CAPRIGHTS_READ);
if (err_is_fail(err)) {
return SYSRET(err);
}
return SYSRET(caps_delete_foreigns(cte));
}
struct sysret sys_revoke(struct capability *root, capaddr_t cptr, uint8_t bits)
{
errval_t err;
struct cte *slot;
err = caps_lookup_slot(root, cptr, bits, &slot, CAPRIGHTS_READ_WRITE);
if (err_is_fail(err)) {
return SYSRET(err);
}
err = caps_revoke(slot);
return SYSRET(err);
}
struct sysret sys_monitor_revoke_mark_tgt(capaddr_t root_addr, uint8_t root_bits,
capaddr_t target_addr, uint8_t target_bits)
{
errval_t err;
struct cte *target;
err = sys_double_lookup(root_addr, root_bits, target_addr, target_bits, &target);
if (err_is_fail(err)) {
printf("%s: error in double_lookup: %"PRIuERRV"\n", __FUNCTION__, err);
return SYSRET(err);
}
return SYSRET(caps_mark_revoke(&target->cap, target));
}
struct sysret sys_monitor_clear_step(capaddr_t ret_cn_addr,
uint8_t ret_cn_bits,
cslot_t ret_slot)
{
errval_t err;
struct cte *retslot;
err = sys_retslot_lookup(ret_cn_addr, ret_cn_bits, ret_slot, &retslot);
if (err_is_fail(err)) {
return SYSRET(err);
}
return SYSRET(caps_clear_step(retslot));
}
struct sysret sys_monitor_domain_id(capaddr_t cptr, domainid_t domain_id)
{
struct capability *root = &dcb_current->cspace.cap;
struct capability *disp;
errval_t err = caps_lookup_cap(root, cptr, CPTR_BITS, &disp,
CAPRIGHTS_READ_WRITE);
if (err_is_fail(err)) {
return SYSRET(err);
}
disp->u.dispatcher.dcb->domain_id = domain_id;
return SYSRET(SYS_ERR_OK);
}
struct sysret sys_monitor_register(capaddr_t ep_caddr)
{
errval_t err;
struct capability *ep;
err = caps_lookup_cap(&dcb_current->cspace.cap, ep_caddr, CPTR_BITS, &ep,
CAPRIGHTS_READ);
if(err_is_fail(err)) {
printf("Failure looking up endpoint!\n");
return SYSRET(err);
}
monitor_ep = *ep;
return SYSRET(SYS_ERR_OK);
}
struct sysret sys_cap_has_relations(capaddr_t caddr, uint8_t vbits,
uint8_t mask)
{
errval_t err;
struct cte *cap;
err = caps_lookup_slot(&dcb_current->cspace.cap, caddr, vbits, &cap,
CAPRIGHTS_READ);
if (err_is_fail(err)) {
return SYSRET(err);
}
uint8_t res = 0;
if (mask & RRELS_COPY_BIT && has_copies(cap)) {
res |= RRELS_COPY_BIT;
}
if (mask & RRELS_ANCS_BIT && has_ancestors(cap)) {
res |= RRELS_ANCS_BIT;
}
if (mask & RRELS_DESC_BIT && has_descendants(cap)) {
res |= RRELS_DESC_BIT;
}
return (struct sysret) { .error = SYS_ERR_OK, .value = res };
}
struct sysret
sys_dispatcher_properties(struct capability *to,
enum task_type type, unsigned long deadline,
unsigned long wcet, unsigned long period,
unsigned long release, unsigned short weight)
{
assert(to->type == ObjType_Dispatcher);
#ifdef CONFIG_SCHEDULER_RBED
struct dcb *dcb = to->u.dispatcher.dcb;
assert(type >= TASK_TYPE_BEST_EFFORT && type <= TASK_TYPE_HARD_REALTIME);
assert(wcet <= deadline);
assert(wcet <= period);
assert(type != TASK_TYPE_BEST_EFFORT || weight > 0);
trace_event(TRACE_SUBSYS_KERNEL, TRACE_EVENT_KERNEL_SCHED_REMOVE,
152);
scheduler_remove(dcb);
/* Set task properties */
dcb->type = type;
dcb->deadline = deadline;
dcb->wcet = wcet;
dcb->period = period;
dcb->release_time = (release == 0) ? kernel_now : release;
dcb->weight = weight;
make_runnable(dcb);
#endif
return SYSRET(SYS_ERR_OK);
}
struct sysret sys_monitor_identify_cap(struct capability *root,
capaddr_t cptr, uint8_t bits,
struct capability *retbuf)
{
struct capability *cap;
errval_t err = caps_lookup_cap(root, cptr, bits, &cap, CAPRIGHTS_READ);
if (err_is_fail(err)) {
return SYSRET(err_push(err, SYS_ERR_IDENTIFY_LOOKUP));
}
// XXX: Write cap data directly back to user-space
// FIXME: this should involve a pointer/range check for reliability,
// but because the monitor is inherently trusted it's not a security hole
*retbuf = *cap;
return SYSRET(SYS_ERR_OK);
}
struct sysret sys_unlock_cap(capaddr_t root_addr, uint8_t root_bits, capaddr_t target_addr, uint8_t target_bits)
{
errval_t err;
struct cte *target;
err = sys_double_lookup(root_addr, root_bits, target_addr, target_bits, &target);
if (err_is_fail(err)) {
printf("%s: error in double_lookup: %"PRIuERRV"\n", __FUNCTION__, err);
return SYSRET(err);
}
TRACE_CAP(target);
// XXX: check if already unlocked? -MN
sys_lock_cap_common(target, false);
return SYSRET(SYS_ERR_OK);
}
/**
* The format of the returned ID is:
*
* --------------------------------------------------------------------
* | 0 (unused) | coreid | core_local_id |
* --------------------------------------------------------------------
* 63 39 31 0 Bit
*
*/
struct sysret sys_idcap_identify(struct capability *cap, idcap_id_t *id)
{
STATIC_ASSERT_SIZEOF(coreid_t, 1);
idcap_id_t coreid = (idcap_id_t) cap->u.id.coreid;
*id = coreid << 32 | cap->u.id.core_local_id;
return SYSRET(SYS_ERR_OK);
}
struct sysret sys_get_cap_owner(capaddr_t root_addr, uint8_t root_bits, capaddr_t cptr, uint8_t bits)
{
errval_t err;
struct cte *cte;
err = sys_double_lookup(root_addr, root_bits, cptr, bits, &cte);
if (err_is_fail(err)) {
printf("%s: error in double_lookup: %"PRIuERRV"\n", __FUNCTION__, err);
return SYSRET(err);
}
return (struct sysret) { .error = SYS_ERR_OK, .value = cte->mdbnode.owner };
}
struct sysret sys_set_cap_owner(capaddr_t root_addr, uint8_t root_bits, capaddr_t cptr, uint8_t bits, coreid_t owner)
{
errval_t err;
struct cte *cte;
err = sys_double_lookup(root_addr, root_bits, cptr, bits, &cte);
if (err_is_fail(err)) {
printf("%s: error in double_lookup: %"PRIuERRV"\n", __FUNCTION__, err);
return SYSRET(err);
}
cte->mdbnode.owner = owner;
TRACE_CAP(cte);
struct cte *pred = cte;
do {
pred->mdbnode.owner = owner;
pred = mdb_predecessor(pred);
} while (is_copy(&pred->cap, &cte->cap));
struct cte *succ = cte;
do {
succ->mdbnode.owner = owner;
succ = mdb_successor(succ);
} while (is_copy(&succ->cap, &cte->cap));
return SYSRET(SYS_ERR_OK);
}
struct sysret sys_monitor_nullify_cap(capaddr_t cptr, uint8_t bits)
{
struct capability *root = &dcb_current->cspace.cap;
struct cte *cte;
errval_t err = caps_lookup_slot(root, cptr, bits, &cte,
CAPRIGHTS_READ_WRITE);
if (err_is_fail(err)) {
return SYSRET(err);
}
// remove from MDB
remove_mapping(cte);
// zero-out cap entry
assert(!mdb_reachable(cte));
memset(cte, 0, sizeof(*cte));
return SYSRET(SYS_ERR_OK);
}
struct sysret sys_lock_cap(capaddr_t root_addr, uint8_t root_bits, capaddr_t target_addr, uint8_t target_bits)
{
errval_t err;
struct cte *target;
err = sys_double_lookup(root_addr, root_bits, target_addr, target_bits, &target);
if (err_is_fail(err)) {
printf("%s: error in double_lookup: %"PRIuERRV"\n", __FUNCTION__, err);
return SYSRET(err);
}
if (target->mdbnode.locked) {
return SYSRET(SYS_ERR_CAP_LOCKED);
}
TRACE_CAP(target);
sys_lock_cap_common(target, true);
return SYSRET(SYS_ERR_OK);
}
struct sysret sys_create(struct capability *root, enum objtype type,
uint8_t objbits, capaddr_t dest_cnode_cptr,
cslot_t dest_slot, int dest_vbits)
{
errval_t err;
uint8_t bits = 0;
genpaddr_t base = 0;
/* Paramter checking */
if (type == ObjType_Null || type >= ObjType_Num) {
return SYSRET(SYS_ERR_ILLEGAL_DEST_TYPE);
}
/* Destination CNode */
struct capability *dest_cnode_cap;
err = caps_lookup_cap(root, dest_cnode_cptr, dest_vbits,
&dest_cnode_cap, CAPRIGHTS_READ_WRITE);
if (err_is_fail(err)) {
return SYSRET(err_push(err, SYS_ERR_DEST_CNODE_LOOKUP));
}
/* Destination slot */
struct cte *dest_cte;
dest_cte = caps_locate_slot(dest_cnode_cap->u.cnode.cnode, dest_slot);
if (dest_cte->cap.type != ObjType_Null) {
return SYSRET(SYS_ERR_SLOTS_IN_USE);
}
/* List capabilities allowed to be created at runtime. */
switch(type) {
case ObjType_ID:
break;
// only certain types of capabilities can be created at runtime
default:
return SYSRET(SYS_ERR_TYPE_NOT_CREATABLE);
}
return SYSRET(caps_create_new(type, base, bits, objbits, my_core_id, dest_cte));
}
/**
* Calls correct handler function to spawn an app core.
*
* At the moment spawn_core_handlers is set-up per
* architecture inside text_init() usually found in init.c.
*
* \note Generally the x86 terms of BSP and APP core are used
* throughout Barrelfish to distinguish between bootstrap core (BSP)
* and application cores (APP).
*
* \param core_id Identifier of the core which we want to boot
* \param cpu_type Architecture of the core.
* \param entry Entry point for code to start execution.
*
* \retval SYS_ERR_OK Core successfully booted.
* \retval SYS_ERR_ARCHITECTURE_NOT_SUPPORTED No handler registered for
* the specified cpu_type.
* \retval SYS_ERR_CORE_NOT_FOUND Core failed to boot.
*/
struct sysret sys_monitor_spawn_core(coreid_t core_id, enum cpu_type cpu_type,
genvaddr_t entry)
{
assert(cpu_type < CPU_TYPE_NUM);
// TODO(gz): assert core_id valid
// TODO(gz): assert entry range?
if (cpu_type < CPU_TYPE_NUM &&
coreboot_get_spawn_handler(cpu_type) == NULL) {
assert(!"Architecture not supported -- " \
"or you failed to register spawn handler?");
return SYSRET(SYS_ERR_ARCHITECTURE_NOT_SUPPORTED);
}
int r = (coreboot_get_spawn_handler(cpu_type))(core_id, entry);
if (r != 0) {
return SYSRET(SYS_ERR_CORE_NOT_FOUND);
}
return SYSRET(SYS_ERR_OK);
}
struct sysret sys_get_state(struct capability *root, capaddr_t cptr, uint8_t bits)
{
errval_t err;
struct cte *slot;
err = caps_lookup_slot(root, cptr, bits, &slot, CAPRIGHTS_READ);
if (err_is_fail(err)) {
return SYSRET(err);
}
distcap_state_t state = distcap_get_state(slot);
return (struct sysret) { .error = SYS_ERR_OK, .value = state };
}
struct sysret sys_monitor_copy_existing(struct capability *src,
capaddr_t cnode_cptr,
uint8_t cnode_vbits,
cslot_t slot)
{
struct cte *copy = mdb_find_equal(src);
if (!copy || copy->mdbnode.in_delete) {
return SYSRET(SYS_ERR_CAP_NOT_FOUND);
}
struct cte *cnode;
errval_t err = caps_lookup_slot(&dcb_current->cspace.cap, cnode_cptr,
cnode_vbits, &cnode, CAPRIGHTS_READ_WRITE);
if (err_is_fail(err)) {
return SYSRET(err_push(err, SYS_ERR_SLOT_LOOKUP_FAIL));
}
if (cnode->cap.type != ObjType_CNode) {
return SYSRET(SYS_ERR_CNODE_TYPE);
}
return SYSRET(caps_copy_to_cnode(cnode, slot, copy, false, 0, 0));
}
struct sysret
sys_map(struct capability *ptable, cslot_t slot, capaddr_t source_cptr,
int source_vbits, uintptr_t flags, uintptr_t offset,
uintptr_t pte_count)
{
assert (type_is_vnode(ptable->type));
errval_t err;
/* Lookup source cap */
struct capability *root = &dcb_current->cspace.cap;
struct cte *src_cte;
err = caps_lookup_slot(root, source_cptr, source_vbits, &src_cte,
CAPRIGHTS_READ);
if (err_is_fail(err)) {
return SYSRET(err_push(err, SYS_ERR_SOURCE_CAP_LOOKUP));
}
/* Perform map */
// XXX: this does not check if we do have CAPRIGHTS_READ_WRITE on
// the destination cap (the page table we're inserting into)
return SYSRET(caps_copy_to_vnode(cte_for_cap(ptable), slot, src_cte, flags,
offset, pte_count));
}
struct sysret sys_kernel_add_kcb(struct kcb *new_kcb)
{
kcb_add(new_kcb);
// update kernel_now offset
new_kcb->kernel_off -= kernel_now;
// reset scheduler statistics
scheduler_reset_time();
// update current core id of all domains
kcb_update_core_id(new_kcb);
// upcall domains with registered interrupts to tell them to re-register
irq_table_notify_domains(new_kcb);
return SYSRET(SYS_ERR_OK);
}
struct sysret sys_monitor_remote_relations(capaddr_t root_addr, uint8_t root_bits,
capaddr_t cptr, uint8_t bits,
uint8_t relations, uint8_t mask)
{
errval_t err;
struct cte *cte;
err = sys_double_lookup(root_addr, root_bits, cptr, bits, &cte);
if (err_is_fail(err)) {
printf("%s: error in double_lookup: %"PRIuERRV"\n", __FUNCTION__, err);
return SYSRET(err);
}
#ifdef TRACE_PMEM_CAPS
if (caps_should_trace(&cte->cap)) {
char buf[512];
static const char chars[] = "~~01";
#define MK01(b) ((int)((b)!=0))
#define BITC(BIT) (chars[(2*MK01(mask & BIT)+MK01(relations & BIT))])
snprintf(buf, 512, "set remote: c %c, a %c, d %c",
BITC(RRELS_COPY_BIT), BITC(RRELS_ANCS_BIT),
BITC(RRELS_DESC_BIT));
#undef BITC
#undef MK01
TRACE_CAP_MSG(buf, cte);
}
#endif
if (mask) {
mdb_set_relations(cte, relations, mask);
}
relations = 0;
if (cte->mdbnode.remote_copies) {
relations |= RRELS_COPY_BIT;
}
if (cte->mdbnode.remote_ancs) {
relations |= RRELS_ANCS_BIT;
}
if (cte->mdbnode.remote_descs) {
relations |= RRELS_DESC_BIT;
}
return (struct sysret){ .error = SYS_ERR_OK, .value = relations };
}
struct sysret sys_suspend(bool do_halt)
{
dispatcher_handle_t handle = dcb_current->disp;
struct dispatcher_shared_generic *disp =
get_dispatcher_shared_generic(handle);
debug(SUBSYS_DISPATCH, "%.*s suspends (halt: %d)\n", DISP_NAME_LEN, disp->name, do_halt);
if (!disp->disabled) {
printk(LOG_ERR, "SYSCALL_SUSPEND while enabled\n");
return SYSRET(SYS_ERR_CALLER_ENABLED);
}
disp->disabled = false;
dcb_current->disabled = false;
if (do_halt) {
//printf("%s:%s:%d: before halt of core (%"PRIuCOREID")\n",
// __FILE__, __FUNCTION__, __LINE__, my_core_id);
halt();
} else {
// Note this only works if we're calling this inside
// the kcb we're currently running
printk(LOG_NOTE, "in sys_suspend(<no_halt>)!\n");
printk(LOG_NOTE, "calling switch_kcb!\n");
struct kcb *next = kcb_current->next;
kcb_current->next = NULL;
switch_kcb(next);
// enable kcb scheduler
printk(LOG_NOTE, "enabling kcb scheduler!\n");
kcb_sched_suspended = false;
// schedule something in the other kcb
dispatch(schedule());
}
panic("Yield returned!");
}
struct sysret sys_kernel_remove_kcb(struct kcb * to_remove)
{
return SYSRET(kcb_remove(to_remove));
}
struct sysret sys_kernel_suspend_kcb_sched(bool suspend)
{
printk(LOG_NOTE, "in kernel_suspend_kcb_sched invocation!\n");
kcb_sched_suspended = suspend;
return SYSRET(SYS_ERR_OK);
}
struct sysret sys_monitor_revoke_mark_rels(struct capability *base)
{
return SYSRET(caps_mark_revoke(base, NULL));
}
/* FIXME: lots of missing argument checks in this function */
struct sysret
sys_dispatcher_setup(struct capability *to, capaddr_t cptr, int depth,
capaddr_t vptr, capaddr_t dptr, bool run, capaddr_t odptr)
{
errval_t err = SYS_ERR_OK;
assert(to->type == ObjType_Dispatcher);
struct dcb *dcb = to->u.dispatcher.dcb;
lpaddr_t lpaddr;
/* 1. set cspace root */
if (cptr != CPTR_NULL) {
struct cte *root;
err = caps_lookup_slot(&dcb_current->cspace.cap, cptr, depth,
&root, CAPRIGHTS_READ);
if (err_is_fail(err)) {
return SYSRET(err_push(err, SYS_ERR_DISP_CSPACE_ROOT));
}
if (root->cap.type != ObjType_CNode) {
return SYSRET(err_push(err, SYS_ERR_DISP_CSPACE_INVALID));
}
err = caps_copy_to_cte(&dcb->cspace, root, false, 0, 0);
if (err_is_fail(err)) {
return SYSRET(err_push(err, SYS_ERR_DISP_CSPACE_ROOT));
}
}
/* 2. set vspace root */
if (vptr != CPTR_NULL) {
struct capability *vroot;
err = caps_lookup_cap(&dcb_current->cspace.cap, vptr, CPTR_BITS,
&vroot, CAPRIGHTS_WRITE);
if (err_is_fail(err)) {
return SYSRET(err_push(err, SYS_ERR_DISP_VSPACE_ROOT));
}
// Insert as dispatcher's VSpace root
switch(vroot->type) {
case ObjType_VNode_x86_64_pml4:
dcb->vspace =
(lvaddr_t)gen_phys_to_local_phys(vroot->u.vnode_x86_64_pml4.base);
break;
#ifdef CONFIG_PAE
case ObjType_VNode_x86_32_pdpt:
dcb->vspace =
(lvaddr_t)gen_phys_to_local_phys(vroot->u.vnode_x86_32_pdpt.base);
break;
#else
case ObjType_VNode_x86_32_pdir:
dcb->vspace =
(lvaddr_t)gen_phys_to_local_phys(vroot->u.vnode_x86_32_pdir.base);
break;
#endif
case ObjType_VNode_ARM_l1:
dcb->vspace =
(lvaddr_t)gen_phys_to_local_phys(vroot->u.vnode_arm_l1.base);
break;
default:
return SYSRET(err_push(err, SYS_ERR_DISP_VSPACE_INVALID));
}
}
/* 3. set dispatcher frame pointer */
if (dptr != CPTR_NULL) {
struct cte *dispcte;
err = caps_lookup_slot(&dcb_current->cspace.cap, dptr, CPTR_BITS,
&dispcte, CAPRIGHTS_WRITE);
if (err_is_fail(err)) {
return SYSRET(err_push(err, SYS_ERR_DISP_FRAME));
}
struct capability *dispcap = &dispcte->cap;
if (dispcap->type != ObjType_Frame) {
return SYSRET(err_push(err, SYS_ERR_DISP_FRAME_INVALID));
}
/* FIXME: check rights, check size */
lpaddr = gen_phys_to_local_phys(dispcap->u.frame.base);
dcb->disp = local_phys_to_mem(lpaddr);
// Copy the cap to dcb also
err = caps_copy_to_cte(&dcb->disp_cte, dispcte, false, 0, 0);
// If copy fails, something wrong in kernel
assert(err_is_ok(err));
}
/* 5. Make runnable if desired -- Set pointer to ipi_data */
if (run) {
if (dcb->vspace == 0 ||
(!dcb->is_vm_guest &&
(dcb->disp == 0 || dcb->cspace.cap.type != ObjType_CNode))) {
return SYSRET(err_push(err, SYS_ERR_DISP_NOT_RUNNABLE));
}
// XXX: dispatchers run disabled the first time they start
dcb->disabled = 1;
//printf("DCB: %p %.*s\n", dcb, DISP_NAME_LEN, dcb->disp->name);
make_runnable(dcb);
}
/* 6. Copy domain ID off given dispatcher */
if(odptr != CPTR_NULL) {
struct capability *odisp;
err = caps_lookup_cap(&dcb_current->cspace.cap, odptr, CPTR_BITS,
&odisp, CAPRIGHTS_READ_WRITE);
if (err_is_fail(err)) {
return SYSRET(err_push(err, SYS_ERR_DISP_OCAP_LOOKUP));
}
dcb->domain_id = odisp->u.dispatcher.dcb->domain_id;
}
/* 7. (HACK) Set current core id */
{
struct dispatcher_shared_generic *disp =
get_dispatcher_shared_generic(dcb->disp);
disp->curr_core_id = my_core_id;
}
if(!dcb->is_vm_guest) {
struct dispatcher_shared_generic *disp =
get_dispatcher_shared_generic(dcb->disp);
err = trace_new_application(disp->name, (uintptr_t) dcb);
if (err == TRACE_ERR_NO_BUFFER) {
// Try to use the boot buffer.
trace_new_boot_application(disp->name, (uintptr_t) dcb);
}
}
return SYSRET(SYS_ERR_OK);
}
