barrelfish-2018-10-04/kernel/capabilities.c

66                         cap->u.physaddr.base, cap->u.physaddr.bytes);
70                         cap->u.ram.base, cap->u.ram.bytes);
74                            "(base=%#"PRIxGENPADDR", allocated bytes %#"PRIxGENSIZE
93                         cap->u.frame.base, cap->u.frame.bytes);
97                         cap->u.devframe.base, cap->u.devframe.bytes);
324  * \param srcsize       Size of memory area in bytes
461         debug(SUBSYS_CAPS, "Frame: zeroing %zu bytes @%#"PRIxLPADDR"\n",
470         debug(SUBSYS_CAPS, "L%dCNode: zeroing %zu bytes @%#"PRIxLPADDR"\n",
493         debug(SUBSYS_CAPS, "VNode: zeroing %zu bytes @%#"PRIxLPADDR"\n",
501         debug(SUBSYS_CAPS, "Dispatcher: zeroing %zu bytes @%#"PRIxLPADDR"\n",
509         debug(SUBSYS_CAPS, "KCB: zeroing %zu bytes @%#"PRIxLPADDR"\n",
517         debug(SUBSYS_CAPS, "Not zeroing %zu bytes @%#"PRIxLPADDR" for type %d\n",
538  * \param size          Size of memory area as bytes.
539  * \param objsize       For variable-sized objects, size in bytes.
569                        ", %" PRIuGENSIZE " bytes, objsize=%"PRIuGENSIZE
609             temp_cap.u.frame.bytes = objsize;
623             temp_cap.u.physaddr.bytes = objsize;
636             temp_cap.u.ram.bytes = objsize;
649             temp_cap.u.devframe.bytes = objsize;
1296                                         size_t bytes, size_t objsize,
1306         if (bytes & base_mask) {
1316         /* check that bytes can be evenly divided into objsize sized chunks */
1317         if (exact && bytes > 0 && objsize > 0) {
1318             if (bytes % objsize) {
1321             return bytes % objsize == 0;
1329         if (bytes < OBJSIZE_L2CNODE || objsize < OBJSIZE_L2CNODE) {
1333         /* check that bytes can be evenly divided into L1 CNodes of objsize */
1334         if (exact && (bytes % objsize != 0)) {
1344         if (bytes < OBJSIZE_L2CNODE || objsize != OBJSIZE_L2CNODE) {
1348         if (exact && (bytes % objsize != 0)) {
1357         if (bytes & (OBJSIZE_DISPATCHER - 1)) {
1375  * This takes the size of the memory region in bytes, and the size of
1376  * individual objects in bytes. The following needs to hold:
1377  *      bytes % objbytes == 0
1379 errval_t caps_create_new(enum objtype type, lpaddr_t addr, size_t bytes,
1386             ", bytes=%zu, objsize=%zu\n", type, addr, bytes, objsize);
1388     assert(check_caps_create_arguments(type, bytes, objsize, false));
1389     assert(addr == 0 || check_caps_create_arguments(type, bytes, objsize, true));
1391     size_t numobjs = caps_max_numobjs(type, bytes, objsize);
1400     errval_t err = caps_create(type, addr, bytes, objsize, numobjs, owner, caps);